0.00/0.02 c initialize IPBHS solver
0.00/0.02 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.02 c optimizer = "scip"
0.00/0.02 c pbsolver = "roundingsat"
0.00/0.02 c use separate pbsolver for SIS
0.00/0.02 c load symmetries from file ""
0.00/0.02 c set time limit for symmetry computation to 100 seconds.
0.00/0.02 c set interchangeable summation variable limit to 3
0.00/0.02 c set sym compact max subset size to 5
0.00/0.02 c set explicit symmetry matrix usage to 1
0.00/0.02 c sym budget explicit to 100
0.00/0.02 c sym budget explicit lits to 6000
0.00/0.02 c sym budget compact to 100
0.00/0.02 c sym budget compact lits to 6000
0.00/0.02 c sym budget common to 0
0.00/0.02 c sym budget common lits to 0
0.00/0.02 c set sym generation to 's'
0.00/0.02 c set abstraction set creation to 10 iterations without LB change
0.00/0.02 c set abstraction set inputs to 0
0.00/0.02 c set abstraction set cluster min size to 2
0.00/0.02 c set abstraction set cluster max size to 100000000
0.00/0.02 c set abstraction set cluster activation limit to 2
0.00/0.02 c enable abstraction set require equal cost
0.00/0.02 c set abstraction set assumptions to 0
0.00/0.02 c set abstraction set constraint type to 0
0.00/0.02 c set abstract core extraction strategy to b
0.00/0.02 c set core extraction strategy to 2
0.00/0.02 c set core extraction shuffles 10
0.00/0.02 c set cores per iteration to 5
0.00/0.02 c set optimizer bound usage strategy to 2
0.00/0.02 c set optimizer max non-optimal iterations to 1000
0.00/0.02 c set small core cardinality limit to 2
0.00/0.02 c set max coef in cores to 1000000000
0.00/0.02 c set core processing techniques to 4095
0.00/0.02 c set SIS iterations to 5
0.00/0.02 c set SIS budget abs to 1000
0.00/0.02 c set SIS budget rel to 0.05
0.40/0.49 c limit for coefficient in constraints and objective to 1000000000
0.40/0.49 c will solve HOME/instance-4503914-1751435565.opb
0.40/0.49 c [0.03] will start solving
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (58905 MiB free)
memory of node 1: 64465 MiB (62284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503914-1751435565/watcher-4503914-1751435565 -o /tmp/evaluation-result-4503914-1751435565/solver-4503914-1751435565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751435565-61319 --watchdog 3760 ./ipbhs_scip HOME/instance-4503914-1751435565.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
solver pid=61368, runsolver pid=61365
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 0.46 0.93 1.32 5/254 61379
/proc/meminfo: memFree=123841188/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=48244 memory=13136 CPUtime=0.1 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 2544 0 0 0 9 1 0 0 20 0 1 0 59235732 49401856 3284 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 12061 3284 1600 2790 0 5486 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48244 KiB
Current children cumulated memory: 13136 KiB
[startup+0.214 s]*
/proc/loadavg: 0.46 0.93 1.32 5/254 61379
/proc/meminfo: memFree=123718616/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=54544 memory=24844 CPUtime=0.2 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 4336 0 0 0 16 4 0 0 20 0 1 0 59235732 55853056 6211 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 13636 6211 1696 2790 0 7061 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54544 KiB
Current children cumulated memory: 24844 KiB
[startup+0.313987 s]*
/proc/loadavg: 0.46 0.93 1.32 5/254 61379
/proc/meminfo: memFree=123687116/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=55460 memory=25612 CPUtime=0.3 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 4536 0 0 0 21 9 0 0 20 0 1 0 59235732 56791040 6403 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 13865 6403 1696 2790 0 7290 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55460 KiB
Current children cumulated memory: 25612 KiB
[startup+0.700375 s]
/proc/loadavg: 0.46 0.93 1.32 5/254 61379
/proc/meminfo: memFree=123622792/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=108192 memory=83852 CPUtime=0.67 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 17694 0 0 0 44 23 0 0 20 0 1 0 59235732 110788608 20963 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 27048 20963 3200 2790 0 20473 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 108192 KiB
Current children cumulated memory: 83852 KiB
[startup+1.50032 s]
/proc/loadavg: 0.46 0.93 1.32 5/254 61379
/proc/meminfo: memFree=123373060/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=196592 memory=159884 CPUtime=1.47 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 36244 0 0 0 114 33 0 0 20 0 1 0 59235732 201310208 39971 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 49148 39971 3712 2790 0 42573 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 196592 KiB
Current children cumulated memory: 159884 KiB
[startup+3.11301 s]
/proc/loadavg: 0.75 0.98 1.34 5/254 61379
/proc/meminfo: memFree=123199284/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=235936 memory=197516 CPUtime=3.08 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 45684 0 0 0 272 36 0 0 20 0 1 0 59235732 241598464 49379 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 58984 49379 3712 2790 0 52409 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 235936 KiB
Current children cumulated memory: 197516 KiB
[startup+6.30028 s]
/proc/loadavg: 0.75 0.98 1.34 5/254 61379
/proc/meminfo: memFree=123027044/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=277948 memory=226196 CPUtime=6.26 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 53363 0 0 0 578 48 0 0 20 0 1 0 59235732 284618752 56549 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 69487 56549 3744 2790 0 62912 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 277948 KiB
Current children cumulated memory: 226196 KiB
[startup+12.7003 s]
/proc/loadavg: 1.25 1.08 1.37 5/254 61379
/proc/meminfo: memFree=123013316/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=277948 memory=228284 CPUtime=12.64 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 53375 0 0 0 1164 100 0 0 20 0 1 0 59235732 284618752 57071 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 69487 57071 3744 2790 0 62912 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 277948 KiB
Current children cumulated memory: 228284 KiB
[startup+25.5003 s]
/proc/loadavg: 1.74 1.20 1.40 5/254 61379
/proc/meminfo: memFree=122975064/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=280668 memory=230972 CPUtime=25.42 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 54055 0 0 0 2336 206 0 0 20 0 1 0 59235732 287404032 57743 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 70167 57743 3744 2790 0 63592 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 280668 KiB
Current children cumulated memory: 230972 KiB
[startup+51.1129 s]
/proc/loadavg: 2.51 1.42 1.47 5/253 61379
/proc/meminfo: memFree=122886148/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=292268 memory=239752 CPUtime=50.98 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 54190 0 0 0 4680 418 0 0 20 0 1 0 59235732 299282432 59938 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 73067 59938 3744 2790 0 66492 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 292268 KiB
Current children cumulated memory: 239752 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 1.89 1.63 5/254 61382
/proc/meminfo: memFree=122778232/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=303944 memory=255428 CPUtime=102.07 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 55049 0 0 0 9419 788 0 0 20 0 1 0 59235732 311238656 63857 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 75986 63857 3744 2790 0 69411 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 303944 KiB
Current children cumulated memory: 255428 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.31 1.79 5/255 61385
/proc/meminfo: memFree=122596228/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=348860 memory=296412 CPUtime=161.96 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 62237 0 0 0 14972 1224 0 0 20 0 1 0 59235732 357232640 74103 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 87215 74103 3744 2790 0 80640 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 348860 KiB
Current children cumulated memory: 296412 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 2.66 1.95 5/255 61387
/proc/meminfo: memFree=122290428/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=511580 memory=420216 CPUtime=221.83 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 83496 0 0 0 20640 1543 0 0 20 0 1 0 59235732 523857920 105054 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 127895 105054 3744 2790 0 121320 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 511580 KiB
Current children cumulated memory: 420216 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.93 2.09 5/254 61392
/proc/meminfo: memFree=121071592/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=650248 memory=524664 CPUtime=281.69 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 98365 0 0 0 26380 1789 0 0 20 0 1 0 59235732 665853952 131166 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 162562 131166 3744 2790 0 155987 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 650248 KiB
Current children cumulated memory: 524664 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.14 2.21 5/253 61394
/proc/meminfo: memFree=119553908/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=695304 memory=616768 CPUtime=341.55 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 109652 0 0 0 32162 1993 0 0 20 0 1 0 59235732 711991296 154192 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 173826 154192 3744 2790 0 167251 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 695304 KiB
Current children cumulated memory: 616768 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.33 2.34 5/251 61396
/proc/meminfo: memFree=119366704/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=716584 memory=658972 CPUtime=401.41 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 115037 0 0 0 37945 2196 0 0 20 0 1 0 59235732 733782016 164743 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 179146 164743 3744 2790 0 172571 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 716584 KiB
Current children cumulated memory: 658972 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 3.45 2.45 5/251 61399
/proc/meminfo: memFree=119172872/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=878428 memory=711508 CPUtime=461.28 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 123419 0 0 0 43739 2389 0 0 20 0 1 0 59235732 899510272 177877 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 219607 177877 3744 2790 0 213032 0
Current children cumulated CPU time: 461.28 s
################
# More data... #
################
Current children cumulated memory: 1557392 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.12 4.03 5/251 61525
/proc/meminfo: memFree=107974932/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1717888 memory=1587088 CPUtime=2914.47 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 335305 0 0 0 279772 11675 0 0 20 0 1 0 59235732 1759117312 396772 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 429472 396772 3744 2790 0 422897 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 1717888 KiB
Current children cumulated memory: 1587088 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/251 61531
/proc/meminfo: memFree=107932432/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1748012 memory=1617296 CPUtime=2974.3 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 343058 0 0 0 285602 11828 0 0 20 0 1 0 59235732 1789964288 404324 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 437003 404324 3744 2790 0 430428 0
Current children cumulated CPU time: 2974.3 s
Current children cumulated vsize: 1748012 KiB
Current children cumulated memory: 1617296 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.03 5/251 61533
/proc/meminfo: memFree=107855292/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1771776 memory=1641104 CPUtime=3034.12 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 349025 0 0 0 291433 11979 0 0 20 0 1 0 59235732 1814298624 410276 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 442944 410276 3744 2790 0 436369 0
Current children cumulated CPU time: 3034.12 s
Current children cumulated vsize: 1771776 KiB
Current children cumulated memory: 1641104 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.09 4.03 5/250 61535
/proc/meminfo: memFree=107769556/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1794756 memory=1664016 CPUtime=3093.95 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 354760 0 0 0 297278 12117 0 0 20 0 1 0 59235732 1837830144 416004 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 448689 416004 3744 2790 0 442114 0
Current children cumulated CPU time: 3093.95 s
Current children cumulated vsize: 1794756 KiB
Current children cumulated memory: 1664016 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.04 5/250 61537
/proc/meminfo: memFree=107725148/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1805564 memory=1674768 CPUtime=3153.78 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 357699 0 0 0 303126 12252 0 0 20 0 1 0 59235732 1848897536 418692 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 451391 418692 3744 2790 0 444816 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 1805564 KiB
Current children cumulated memory: 1674768 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.14 4.05 5/250 61539
/proc/meminfo: memFree=107688632/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1814708 memory=1688244 CPUtime=3213.6 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 360033 0 0 0 308976 12384 0 0 20 0 1 0 59235732 1858260992 422061 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 453677 422061 3744 2790 0 447102 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 1814708 KiB
Current children cumulated memory: 1688244 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.05 5/250 61543
/proc/meminfo: memFree=107637872/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1832228 memory=1711696 CPUtime=3273.44 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 364418 0 0 0 314679 12665 0 0 20 0 1 0 59235732 1876201472 427924 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 458057 427924 3744 2790 0 451482 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 1832228 KiB
Current children cumulated memory: 1711696 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/250 61545
/proc/meminfo: memFree=107531452/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1847140 memory=1726672 CPUtime=3333.26 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 368336 0 0 0 320367 12959 0 0 20 0 1 0 59235732 1891471360 431668 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 461785 431668 3744 2790 0 455210 0
Current children cumulated CPU time: 3333.26 s
Current children cumulated vsize: 1847140 KiB
Current children cumulated memory: 1726672 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/251 61548
/proc/meminfo: memFree=107489920/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1860360 memory=1739344 CPUtime=3393.11 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 371565 0 0 0 326100 13211 0 0 20 0 1 0 59235732 1905008640 434836 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 465090 434836 3744 2790 0 458515 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 1860360 KiB
Current children cumulated memory: 1739344 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/251 61550
/proc/meminfo: memFree=107428928/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1869136 memory=1748176 CPUtime=3452.97 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 373771 0 0 0 331906 13391 0 0 20 0 1 0 59235732 1913995264 437044 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 467284 437044 3744 2790 0 460709 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 1869136 KiB
Current children cumulated memory: 1748176 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.05 5/251 61552
/proc/meminfo: memFree=107393508/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1878504 memory=1757520 CPUtime=3512.84 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 376131 0 0 0 337736 13548 0 0 20 0 1 0 59235732 1923588096 439380 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 469626 439380 3744 2790 0 463051 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 1878504 KiB
Current children cumulated memory: 1757520 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/251 61558
/proc/meminfo: memFree=107344312/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1890836 memory=1769808 CPUtime=3572.69 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 379619 0 0 0 343484 13785 0 0 20 0 1 0 59235732 1936216064 442452 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 472709 442452 3744 2790 0 466134 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 1890836 KiB
Current children cumulated memory: 1769808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.09 4.10 4.05 5/250 61559
/proc/meminfo: memFree=107544044/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1896072 memory=1775056 CPUtime=3600.02 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 380945 0 0 0 346108 13894 0 0 20 0 1 0 59235732 1941577728 443764 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 474018 443764 3744 2790 0 467443 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1896072 KiB
Current children cumulated memory: 1775056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.73 s]
# the end of solver process 61368 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3461.08 s, system=138.977 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.09 4.10 4.05 5/250 61559
/proc/meminfo: memFree=107544044/131382116 swapFree=33010160/33010684
[pid=61368] ppid=61365 vsize=1896072 memory=1775056 CPUtime=3600.02 cores=4,6
/proc/61368/stat : 61368 (ipbhs_scip) R 61365 61368 60790 0 -1 4194304 380945 0 0 0 346108 13894 0 0 20 0 1 0 59235732 1941577728 443764 18446744073709551615 94733796052992 94733807479389 140729654600576 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94733809615064 94733809660082 94733841457152 140729654606226 140729654606345 140729654606345 140729654611947 0
/proc/61368/statm: 474018 443764 3744 2790 0 467443 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1896072 KiB
Current children cumulated memory: 1775056 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.73
CPU time (s): 3600.06
CPU user time (s): 3461.08
CPU system time (s): 138.977
CPU usage (%): 99.7322
Max. virtual memory (cumulated for all children) (KiB): 1896072
Max. memory (cumulated for all children) (KiB): 1775056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3461.08
system time used= 138.977
maximum resident set size= 1775056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380945
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= 178
involuntary context switches= 5488
# summary of solver processes directly reported to runsolver:
# pid: 61368
# total CPU time (s): 3600.06
# total CPU user time (s): 3461.08
# total CPU system time (s): 138.977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4905 second user time and 35.63 second system time
The end
Begin job on nodeC004 at 2025-07-02 07:52:45
IDJOB=4503914
IDBENCH=155611
IDSOLVER=3335
FILE ID=nodeC004/4503914-1751435565
RUNJOBID= nodeC004-1751435565-61319
SLURM_JOB_ID= 9598382
Free space on /tmp= 431720 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_5.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503914-1751435565/watcher-4503914-1751435565 -o /tmp/evaluation-result-4503914-1751435565/solver-4503914-1751435565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751435565-61319 --watchdog 3760 ./ipbhs_scip HOME/instance-4503914-1751435565.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= be26e98499835c00c9c49f7164ad1e60
RANDOM SEED=177683776
nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.572
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.213
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.208
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.367
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.209
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1396.761
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.326
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.567
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 124210068 kB
MemAvailable: 129875212 kB
Buffers: 2720 kB
Cached: 6415308 kB
SwapCached: 20 kB
Active: 405888 kB
Inactive: 6078636 kB
Active(anon): 78272 kB
Inactive(anon): 6188 kB
Active(file): 327616 kB
Inactive(file): 6072448 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 283016 kB
Writeback: 0 kB
AnonPages: 69556 kB
Mapped: 102644 kB
Shmem: 17956 kB
KReclaimable: 209412 kB
Slab: 295044 kB
SReclaimable: 209412 kB
SUnreclaim: 85632 kB
KernelStack: 3856 kB
PageTables: 2784 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 333728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431448 MiB
End job on nodeC004 at 2025-07-02 08:52:56