0.00/0.00 c initialize IPBHS solver
0.00/0.00 c IPBHS 0.0.0 beta (8d0f613-dirty, Jun 3 2025 11:36:14), compiled with satsolvers: , optimizers: , GreedyOptimizer, SCIP 10.0.0, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.00 c optimizer = "scip"
0.00/0.00 c pbsolver = "roundingsat"
0.00/0.00 c use separate pbsolver for SIS
0.00/0.00 c load symmetries from file ""
0.00/0.00 c set time limit for symmetry computation to 100 seconds.
0.00/0.00 c set interchangeable summation variable limit to 3
0.00/0.00 c set sym compact max subset size to 5
0.00/0.00 c set explicit symmetry matrix usage to 1
0.00/0.00 c sym budget explicit to 100
0.00/0.00 c sym budget explicit lits to 6000
0.00/0.00 c sym budget compact to 100
0.00/0.00 c sym budget compact lits to 6000
0.00/0.00 c sym budget common to 0
0.00/0.00 c sym budget common lits to 0
0.00/0.00 c set sym generation to 's'
0.00/0.00 c set abstraction set creation to 10 iterations without LB change
0.00/0.00 c set abstraction set inputs to 0
0.00/0.00 c set abstraction set cluster min size to 2
0.00/0.00 c set abstraction set cluster max size to 100000000
0.00/0.00 c set abstraction set cluster activation limit to 2
0.00/0.00 c enable abstraction set require equal cost
0.00/0.00 c set abstraction set assumptions to 0
0.00/0.00 c set abstraction set constraint type to 0
0.00/0.00 c set abstract core extraction strategy to b
0.00/0.00 c set core extraction strategy to 2
0.00/0.00 c set core extraction shuffles 10
0.00/0.00 c set cores per iteration to 5
0.00/0.00 c set optimizer bound usage strategy to 2
0.00/0.00 c set optimizer max non-optimal iterations to 1000
0.00/0.00 c set small core cardinality limit to 2
0.00/0.00 c set max coef in cores to 1000000000
0.00/0.00 c set core processing techniques to 4095
0.00/0.00 c set SIS iterations to 5
0.00/0.00 c set SIS budget abs to 1000
0.00/0.00 c set SIS budget rel to 0.05
0.40/0.47 c limit for coefficient in constraints and objective to 1000000000
0.40/0.47 c will solve HOME/instance-4509502-1751527273.opb
0.40/0.47 c [0] 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: 63708 MiB (62175 MiB free)
memory of node 1: 64465 MiB (62452 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509502-1751527273/watcher-4509502-1751527273 -o /tmp/evaluation-result-4509502-1751527273/solver-4509502-1751527273 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751523662-74115 --watchdog 3760 ./ipbhs_scip HOME/instance-4509502-1751527273.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=74506, runsolver pid=74499
[startup+0.10006 s]*
/proc/loadavg: 4.22 4.22 4.11 4/262 74514
/proc/meminfo: memFree=127042380/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2048552 memory=434356 CPUtime=0.09 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 845 0 0 0 1 8 0 0 20 0 1 0 68403911 2097717248 108589 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 512138 108589 1632 2790 0 505563 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2048552 KiB
Current children cumulated memory: 434356 KiB
[startup+0.20545 s]*
/proc/loadavg: 4.22 4.22 4.11 5/260 74525
/proc/meminfo: memFree=126632052/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2048552 memory=905396 CPUtime=0.2 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 1075 0 0 0 3 17 0 0 20 0 1 0 68403911 2097717248 226349 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 512138 226349 1632 2790 0 505563 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2048552 KiB
Current children cumulated memory: 905396 KiB
[startup+0.305459 s]*
/proc/loadavg: 4.22 4.22 4.11 5/260 74530
/proc/meminfo: memFree=126181452/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2048552 memory=1353908 CPUtime=0.29 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 1294 0 0 0 4 25 0 0 20 0 1 0 68403911 2097717248 338477 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 512138 338477 1632 2790 0 505563 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2048552 KiB
Current children cumulated memory: 1353908 KiB
[startup+0.700181 s]
/proc/loadavg: 4.22 4.22 4.11 4/262 74534
/proc/meminfo: memFree=125439160/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2057668 memory=2033624 CPUtime=0.69 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 4339 0 0 0 30 39 0 0 20 0 1 0 68403911 2107052032 508406 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 514417 508406 3776 2790 0 507842 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2057668 KiB
Current children cumulated memory: 2033624 KiB
[startup+1.50013 s]
/proc/loadavg: 4.22 4.22 4.11 5/264 74539
/proc/meminfo: memFree=123574828/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2064944 memory=2039132 CPUtime=1.48 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 5220 0 0 0 109 39 0 0 20 0 1 0 68403911 2114502656 509783 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 516236 509783 3776 2790 0 509661 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2064944 KiB
Current children cumulated memory: 2039132 KiB
[startup+3.10458 s]
/proc/loadavg: 4.20 4.22 4.11 5/264 74584
/proc/meminfo: memFree=125218664/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2079164 memory=2054256 CPUtime=3.08 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 7982 0 0 0 265 43 0 0 20 0 1 0 68403911 2129063936 513564 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 519791 513564 3776 2790 0 513216 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2079164 KiB
Current children cumulated memory: 2054256 KiB
[startup+6.30012 s]
/proc/loadavg: 4.20 4.22 4.11 5/264 74584
/proc/meminfo: memFree=125149240/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2097360 memory=2068852 CPUtime=6.27 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 10098 0 0 0 580 47 0 0 20 0 1 0 68403911 2147696640 517213 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 524340 517213 3776 2790 0 517765 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2097360 KiB
Current children cumulated memory: 2068852 KiB
[startup+12.7001 s]
/proc/loadavg: 4.19 4.21 4.10 5/264 74584
/proc/meminfo: memFree=125049456/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2112608 memory=2087492 CPUtime=12.65 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 13744 0 0 0 1209 56 0 0 20 0 1 0 68403911 2163310592 521873 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 528152 521873 3776 2790 0 521577 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2112608 KiB
Current children cumulated memory: 2087492 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.22 4.11 5/264 74584
/proc/meminfo: memFree=124919316/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2152476 memory=2111528 CPUtime=25.43 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 18728 0 0 0 2472 71 0 0 20 0 1 0 68403911 2204135424 527882 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 538119 527882 3776 2790 0 531544 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2152476 KiB
Current children cumulated memory: 2111528 KiB
[startup+51.1051 s]
/proc/loadavg: 4.14 4.20 4.10 5/264 74584
/proc/meminfo: memFree=124762176/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2207216 memory=2152084 CPUtime=50.96 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 24806 0 0 0 5003 93 0 0 20 0 1 0 68403911 2260189184 538021 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 551804 538021 3776 2790 0 545229 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2207216 KiB
Current children cumulated memory: 2152084 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.18 4.10 5/264 74586
/proc/meminfo: memFree=124502316/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2234040 memory=2178720 CPUtime=102.02 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 30973 0 0 0 10072 130 0 0 20 0 1 0 68403911 2287656960 544680 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 558510 544680 3776 2790 0 551935 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2234040 KiB
Current children cumulated memory: 2178720 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.10 5/264 74588
/proc/meminfo: memFree=124270844/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2270908 memory=2224044 CPUtime=161.87 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 38733 0 0 0 16016 171 0 0 20 0 1 0 68403911 2325409792 556011 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 567727 556011 3776 2790 0 561152 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2270908 KiB
Current children cumulated memory: 2224044 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.17 4.10 5/264 74590
/proc/meminfo: memFree=124166052/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2332288 memory=2271164 CPUtime=221.71 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 42356 0 0 0 21970 201 0 0 20 0 1 0 68403911 2388262912 567791 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 583072 567791 3776 2790 0 576497 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2332288 KiB
Current children cumulated memory: 2271164 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.10 5/264 74592
/proc/meminfo: memFree=124036536/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2341092 memory=2277820 CPUtime=281.56 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 44030 0 0 0 27921 235 0 0 20 0 1 0 68403911 2397278208 569455 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 585273 569455 3776 2790 0 578698 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2341092 KiB
Current children cumulated memory: 2277820 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/263 74595
/proc/meminfo: memFree=123776544/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2366572 memory=2306468 CPUtime=341.4 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 49663 0 0 0 33886 254 0 0 20 0 1 0 68403911 2423369728 576617 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 591643 576617 3776 2790 0 585068 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 2366572 KiB
Current children cumulated memory: 2306468 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/263 74597
/proc/meminfo: memFree=123592400/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2378056 memory=2317476 CPUtime=401.24 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 52432 0 0 0 39855 269 0 0 20 0 1 0 68403911 2435129344 579369 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 594514 579369 3776 2790 0 587939 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 2378056 KiB
Current children cumulated memory: 2317476 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/263 74599
/proc/meminfo: memFree=123379668/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2388188 memory=2329660 CPUtime=461.08 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 54478 0 0 0 45802 306 0 0 20 0 1 0 68403911 2445504512 582415 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 597047 582415 3776 2790 0 590472 0
################
# More data... #
################
Current children cumulated memory: 2676704 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 74731
/proc/meminfo: memFree=120310644/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2822924 memory=2677088 CPUtime=2914.64 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 98445 0 0 0 290392 1072 0 0 20 0 1 0 68403911 2890674176 669272 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 705731 669272 3776 2790 0 699156 0
Current children cumulated CPU time: 2914.64 s
Current children cumulated vsize: 2822924 KiB
Current children cumulated memory: 2677088 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 74734
/proc/meminfo: memFree=120196412/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2825036 memory=2678880 CPUtime=2974.47 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 98885 0 0 0 296368 1079 0 0 20 0 1 0 68403911 2892836864 669720 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 706259 669720 3776 2790 0 699684 0
Current children cumulated CPU time: 2974.47 s
Current children cumulated vsize: 2825036 KiB
Current children cumulated memory: 2678880 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 74745
/proc/meminfo: memFree=119892656/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2825036 memory=2678880 CPUtime=3034.31 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 99013 0 0 0 302345 1086 0 0 20 0 1 0 68403911 2892836864 669720 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 706259 669720 3776 2790 0 699684 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 2825036 KiB
Current children cumulated memory: 2678880 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 74747
/proc/meminfo: memFree=119671432/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2826960 memory=2680288 CPUtime=3094.16 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 99353 0 0 0 308323 1093 0 0 20 0 1 0 68403911 2894807040 670072 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 706740 670072 3776 2790 0 700165 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 2826960 KiB
Current children cumulated memory: 2680288 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 74749
/proc/meminfo: memFree=119479608/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2859924 memory=2709856 CPUtime=3153.99 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 106876 0 0 0 314286 1113 0 0 20 0 1 0 68403911 2928562176 677464 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 714981 677464 3776 2790 0 708406 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 2859924 KiB
Current children cumulated memory: 2709856 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.11 4.10 5/265 74751
/proc/meminfo: memFree=119348148/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2868820 memory=2715232 CPUtime=3213.83 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 108216 0 0 0 320260 1123 0 0 20 0 1 0 68403911 2937671680 678808 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 717205 678808 3776 2790 0 710630 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 2868820 KiB
Current children cumulated memory: 2715232 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 74753
/proc/meminfo: memFree=119339492/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2871572 memory=2717024 CPUtime=3273.69 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 108774 0 0 0 326239 1130 0 0 20 0 1 0 68403911 2940489728 679256 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 717893 679256 3776 2790 0 711318 0
Current children cumulated CPU time: 3273.69 s
Current children cumulated vsize: 2871572 KiB
Current children cumulated memory: 2717024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 74756
/proc/meminfo: memFree=119331316/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2877952 memory=2722144 CPUtime=3333.54 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 110053 0 0 0 332215 1139 0 0 20 0 1 0 68403911 2947022848 680536 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 719488 680536 3776 2790 0 712913 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 2877952 KiB
Current children cumulated memory: 2722144 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 74758
/proc/meminfo: memFree=119315308/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2877952 memory=2722144 CPUtime=3393.39 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 110053 0 0 0 338182 1157 0 0 20 0 1 0 68403911 2947022848 680536 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 719488 680536 3776 2790 0 712913 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 2877952 KiB
Current children cumulated memory: 2722144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 74760
/proc/meminfo: memFree=119267416/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2885012 memory=2727008 CPUtime=3453.25 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 111285 0 0 0 344156 1169 0 0 20 0 1 0 68403911 2954252288 681752 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 721253 681752 3776 2790 0 714678 0
Current children cumulated CPU time: 3453.25 s
Current children cumulated vsize: 2885012 KiB
Current children cumulated memory: 2727008 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 74762
/proc/meminfo: memFree=119121808/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2889108 memory=2767364 CPUtime=3513.1 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 113239 0 0 0 350131 1179 0 0 20 0 1 0 68403911 2958446592 691841 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 722277 691841 3776 2790 0 715702 0
Current children cumulated CPU time: 3513.1 s
Current children cumulated vsize: 2889108 KiB
Current children cumulated memory: 2767364 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 74764
/proc/meminfo: memFree=118976076/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=2907800 memory=2825644 CPUtime=3572.94 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 117596 0 0 0 356105 1189 0 0 20 0 1 0 68403911 2977587200 706411 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 726950 706411 3776 2790 0 720375 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 2907800 KiB
Current children cumulated memory: 2825644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 74772
/proc/meminfo: memFree=118853156/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=3136548 memory=2852316 CPUtime=3600.06 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 120258 0 0 0 358814 1192 0 0 20 0 1 0 68403911 3211825152 713079 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 784137 713079 3776 2790 0 777562 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3136548 KiB
Current children cumulated memory: 2852316 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.52 s]
# the end of solver process 74506 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3588.15 s, system=11.9509 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 74772
/proc/meminfo: memFree=118853156/131250000 swapFree=33010672/33010684
[pid=74506] ppid=74499 vsize=3136548 memory=2852316 CPUtime=3600.06 cores=1,3
/proc/74506/stat : 74506 (ipbhs_scip) R 74499 74506 74103 0 -1 4194304 120258 0 0 0 358814 1192 0 0 20 0 1 0 68403911 3211825152 713079 18446744073709551615 94375326097408 94375337523805 140729991823392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94375339659480 94375339704498 94375371726848 140729991825810 140729991825929 140729991825929 140729991831531 0
/proc/74506/statm: 784137 713079 3776 2790 0 777562 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3136548 KiB
Current children cumulated memory: 2852316 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.52
CPU time (s): 3600.1
CPU user time (s): 3588.15
CPU system time (s): 11.9509
CPU usage (%): 99.739
Max. virtual memory (cumulated for all children) (KiB): 3136548
Max. memory (cumulated for all children) (KiB): 2852316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.15
system time used= 11.9509
maximum resident set size= 2852316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120258
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= 139
involuntary context switches= 6326
# summary of solver processes directly reported to runsolver:
# pid: 74506
# total CPU time (s): 3600.1
# total CPU user time (s): 3588.15
# total CPU system time (s): 11.9509
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81668 second user time and 15.2457 second system time
The end
Begin job on nodeC014 at 2025-07-03 09:21:13
IDJOB=4509502
IDBENCH=158621
IDSOLVER=3335
FILE ID=nodeC014/4509502-1751527273
RUNJOBID= nodeC014-1751523662-74115
SLURM_JOB_ID= 9598651
Free space on /tmp= 430464 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509502-1751527273/watcher-4509502-1751527273 -o /tmp/evaluation-result-4509502-1751527273/solver-4509502-1751527273 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751523662-74115 --watchdog 3760 ./ipbhs_scip HOME/instance-4509502-1751527273.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1481181434
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.291
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.166
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.340
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.581
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.285
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.474
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.172
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.230
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127622836 kB
MemAvailable: 129714252 kB
Buffers: 2508 kB
Cached: 2886612 kB
SwapCached: 4 kB
Active: 636472 kB
Inactive: 2328424 kB
Active(anon): 89992 kB
Inactive(anon): 3852 kB
Active(file): 546480 kB
Inactive(file): 2324572 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 210376 kB
Writeback: 4 kB
AnonPages: 78848 kB
Mapped: 104180 kB
Shmem: 18064 kB
KReclaimable: 119208 kB
Slab: 209836 kB
SReclaimable: 119208 kB
SUnreclaim: 90628 kB
KernelStack: 4064 kB
PageTables: 2856 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 351116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430264 MiB
End job on nodeC014 at 2025-07-03 10:21:23