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.41/0.49 c limit for coefficient in constraints and objective to 1000000000
0.41/0.49 c will solve HOME/instance-4486318-1751305539.opb
0.41/0.49 c [0.01] will start solving
0.41/0.51 c [0.02] solve iteration 1, LB=0, UB=279537
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 (61494 MiB free)
memory of node 1: 64465 MiB (62090 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486318-1751305539/watcher-4486318-1751305539 -o /tmp/evaluation-result-4486318-1751305539/solver-4486318-1751305539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751301413-48373 --watchdog 3760 ./ipbhs_scip HOME/instance-4486318-1751305539.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49670, runsolver pid=49667
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 4.21 4.24 4.13 5/250 49671
/proc/meminfo: memFree=126297124/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1083408 memory=310712 CPUtime=0.09 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 655 0 0 0 3 6 0 0 20 0 1 0 46233075 1109409792 77678 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 270852 77678 1568 2790 0 264277 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 1083408 KiB
Current children cumulated memory: 310712 KiB
[startup+0.214422 s]*
/proc/loadavg: 4.21 4.24 4.13 6/250 49671
/proc/meminfo: memFree=125908004/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1083408 memory=710072 CPUtime=0.21 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 850 0 0 0 6 15 0 0 20 0 1 0 46233075 1109409792 177518 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 270852 177518 1568 2790 0 264277 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 1083408 KiB
Current children cumulated memory: 710072 KiB
[startup+0.314522 s]*
/proc/loadavg: 4.21 4.24 4.13 5/250 49671
/proc/meminfo: memFree=125550896/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1083692 memory=1049784 CPUtime=0.31 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 1475 0 0 0 8 23 0 0 20 0 1 0 46233075 1109700608 262446 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 270923 262446 1568 2790 0 264348 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 1083692 KiB
Current children cumulated memory: 1049784 KiB
[startup+0.700315 s]
/proc/loadavg: 4.21 4.24 4.13 5/250 49671
/proc/meminfo: memFree=125497904/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1114876 memory=1089636 CPUtime=0.68 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 12685 0 0 0 35 33 0 0 20 0 1 0 46233075 1141633024 272409 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 278719 272409 3680 2790 0 272144 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1114876 KiB
Current children cumulated memory: 1089636 KiB
[startup+1.5003 s]
/proc/loadavg: 4.21 4.24 4.13 5/250 49671
/proc/meminfo: memFree=125482532/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1114876 memory=1089636 CPUtime=1.48 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 12685 0 0 0 101 47 0 0 20 0 1 0 46233075 1141633024 272409 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 278719 272409 3680 2790 0 272144 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1114876 KiB
Current children cumulated memory: 1089636 KiB
[startup+3.11361 s]
/proc/loadavg: 4.20 4.23 4.13 5/250 49671
/proc/meminfo: memFree=125482784/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1114876 memory=1092088 CPUtime=3.09 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 12811 0 0 0 259 50 0 0 20 0 1 0 46233075 1141633024 273022 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 278719 273022 3680 2790 0 272144 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1114876 KiB
Current children cumulated memory: 1092088 KiB
[startup+6.3003 s]
/proc/loadavg: 4.20 4.23 4.13 5/250 49671
/proc/meminfo: memFree=125483036/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1114876 memory=1092088 CPUtime=6.26 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 12818 0 0 0 571 55 0 0 20 0 1 0 46233075 1141633024 273022 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 278719 273022 3680 2790 0 272144 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1114876 KiB
Current children cumulated memory: 1092088 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.23 4.13 5/250 49671
/proc/meminfo: memFree=125483556/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1117596 memory=1093240 CPUtime=12.65 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 13103 0 0 0 1201 64 0 0 20 0 1 0 46233075 1144418304 273310 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 279399 273310 3680 2790 0 272824 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1117596 KiB
Current children cumulated memory: 1093240 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.22 4.13 5/250 49671
/proc/meminfo: memFree=125472612/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1122344 memory=1097484 CPUtime=25.41 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 13645 0 0 0 2461 80 0 0 20 0 1 0 46233075 1149280256 274371 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 280586 274371 3680 2790 0 274011 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1122344 KiB
Current children cumulated memory: 1097484 KiB
[startup+51.1138 s]
/proc/loadavg: 4.16 4.22 4.13 5/250 49672
/proc/meminfo: memFree=125494128/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1123196 memory=1098252 CPUtime=50.96 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 13841 0 0 0 4982 114 0 0 20 0 1 0 46233075 1150152704 274563 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 280799 274563 3680 2790 0 274224 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1123196 KiB
Current children cumulated memory: 1098252 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.19 4.12 5/250 49674
/proc/meminfo: memFree=125487780/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1131636 memory=1105984 CPUtime=102.01 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 14223 0 0 0 10034 167 0 0 20 0 1 0 46233075 1158795264 276496 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 282909 276496 3680 2790 0 276334 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1131636 KiB
Current children cumulated memory: 1105984 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.19 4.12 5/250 49676
/proc/meminfo: memFree=125481672/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1132712 memory=1109744 CPUtime=161.84 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 14678 0 0 0 15956 228 0 0 20 0 1 0 46233075 1159897088 277436 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 283178 277436 3680 2790 0 276603 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1132712 KiB
Current children cumulated memory: 1109744 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/249 49678
/proc/meminfo: memFree=125481688/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1133372 memory=1110512 CPUtime=221.67 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 14859 0 0 0 21882 285 0 0 20 0 1 0 46233075 1160572928 277628 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 283343 277628 3680 2790 0 276768 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1133372 KiB
Current children cumulated memory: 1110512 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/249 49680
/proc/meminfo: memFree=125473560/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1145708 memory=1116496 CPUtime=281.5 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 15348 0 0 0 27809 341 0 0 20 0 1 0 46233075 1173204992 279124 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 286427 279124 3680 2790 0 279852 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 1145708 KiB
Current children cumulated memory: 1116496 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/249 49683
/proc/meminfo: memFree=125469456/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1146104 memory=1116880 CPUtime=341.33 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 15460 0 0 0 33734 399 0 0 20 0 1 0 46233075 1173610496 279220 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 286526 279220 3680 2790 0 279951 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 1146104 KiB
Current children cumulated memory: 1116880 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/249 49685
/proc/meminfo: memFree=125460792/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1146764 memory=1123768 CPUtime=401.16 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 15639 0 0 0 39672 444 0 0 20 0 1 0 46233075 1174286336 280942 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 286691 280942 3680 2790 0 280116 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 1146764 KiB
Current children cumulated memory: 1123768 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/249 49689
/proc/meminfo: memFree=125392464/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1147876 memory=1124920 CPUtime=460.98 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 15919 0 0 0 45608 490 0 0 20 0 1 0 46233075 1175425024 281230 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 286969 281230 3680 2790 0 280394 0
################
# More data... #
################
Current children cumulated memory: 1172488 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/250 49818
/proc/meminfo: memFree=125218788/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1211900 memory=1173128 CPUtime=2914.23 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 20750 0 0 0 289411 2012 0 0 20 0 1 0 46233075 1240985600 293282 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 302975 293282 3680 2790 0 296400 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 1211900 KiB
Current children cumulated memory: 1173128 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/250 49824
/proc/meminfo: memFree=125220556/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1212400 memory=1173640 CPUtime=2974.07 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 20882 0 0 0 295370 2037 0 0 20 0 1 0 46233075 1241497600 293410 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303100 293410 3680 2790 0 296525 0
Current children cumulated CPU time: 2974.07 s
Current children cumulated vsize: 1212400 KiB
Current children cumulated memory: 1173640 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/250 49826
/proc/meminfo: memFree=125221132/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1213192 memory=1174408 CPUtime=3033.91 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 21073 0 0 0 301326 2065 0 0 20 0 1 0 46233075 1242308608 293602 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303298 293602 3680 2790 0 296723 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 1213192 KiB
Current children cumulated memory: 1174408 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/250 49917
/proc/meminfo: memFree=126313440/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1213324 memory=1180772 CPUtime=3093.75 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 21123 0 0 0 307277 2098 0 0 20 0 1 0 46233075 1242443776 295193 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303331 295193 3680 2790 0 296756 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 1213324 KiB
Current children cumulated memory: 1180772 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/250 50144
/proc/meminfo: memFree=125457852/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1213456 memory=1180900 CPUtime=3153.56 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 21173 0 0 0 313222 2134 0 0 20 0 1 0 46233075 1242578944 295225 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303364 295225 3680 2790 0 296789 0
Current children cumulated CPU time: 3153.56 s
Current children cumulated vsize: 1213456 KiB
Current children cumulated memory: 1180900 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/250 50146
/proc/meminfo: memFree=125358704/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1213720 memory=1181156 CPUtime=3213.39 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 21242 0 0 0 319171 2168 0 0 20 0 1 0 46233075 1242849280 295289 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303430 295289 3680 2790 0 296855 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 1213720 KiB
Current children cumulated memory: 1181156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.74 4.30 4.21 5/251 50149
/proc/meminfo: memFree=125269752/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1213852 memory=1181284 CPUtime=3273.24 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 21281 0 0 0 325122 2202 0 0 20 0 1 0 46233075 1242984448 295321 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303463 295321 3680 2790 0 296888 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 1213852 KiB
Current children cumulated memory: 1181284 KiB
[startup+3342.3 s]
/proc/loadavg: 4.35 4.27 4.20 5/251 51005
/proc/meminfo: memFree=124856760/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1213852 memory=1181412 CPUtime=3333.08 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 21302 0 0 0 331074 2234 0 0 20 0 1 0 46233075 1242984448 295353 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303463 295353 3680 2790 0 296888 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 1213852 KiB
Current children cumulated memory: 1181412 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.25 4.20 5/251 51007
/proc/meminfo: memFree=124810148/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1214116 memory=1181540 CPUtime=3392.94 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 21384 0 0 0 337029 2265 0 0 20 0 1 0 46233075 1243254784 295385 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303529 295385 3680 2790 0 296954 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 1214116 KiB
Current children cumulated memory: 1181540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.22 4.19 5/251 51012
/proc/meminfo: memFree=124799780/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1214248 memory=1181796 CPUtime=3452.79 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 21424 0 0 0 342982 2297 0 0 20 0 1 0 46233075 1243389952 295449 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303562 295449 3680 2790 0 296987 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 1214248 KiB
Current children cumulated memory: 1181796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/251 51014
/proc/meminfo: memFree=124819864/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1214512 memory=1181924 CPUtime=3512.64 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 21480 0 0 0 348933 2331 0 0 20 0 1 0 46233075 1243660288 295481 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303628 295481 3680 2790 0 297053 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 1214512 KiB
Current children cumulated memory: 1181924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/250 51020
/proc/meminfo: memFree=124815224/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1214644 memory=1182052 CPUtime=3572.5 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 21516 0 0 0 354888 2362 0 0 20 0 1 0 46233075 1243795456 295513 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303661 295513 3680 2790 0 297086 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 1214644 KiB
Current children cumulated memory: 1182052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.16 4.18 4.18 5/250 51021
/proc/meminfo: memFree=124798908/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1214776 memory=1182180 CPUtime=3600.03 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 21563 0 0 0 357627 2376 0 0 20 0 1 0 46233075 1243930624 295545 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303694 295545 3680 2790 0 297119 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1214776 KiB
Current children cumulated memory: 1182180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 49670 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3576.28 s, system=23.7643 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.16 4.18 4.18 5/250 51021
/proc/meminfo: memFree=124798908/131382112 swapFree=33010684/33010684
[pid=49670] ppid=49667 vsize=1214776 memory=1182180 CPUtime=3600.03 cores=0,2
/proc/49670/stat : 49670 (ipbhs_scip) R 49667 49670 48363 0 -1 4194304 21563 0 0 0 357627 2376 0 0 20 0 1 0 46233075 1243930624 295545 18446744073709551615 94490316599296 94490328025693 140726243733440 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94490330161368 94490330206386 94490347536384 140726243735954 140726243736073 140726243736073 140726243741675 0
/proc/49670/statm: 303694 295545 3680 2790 0 297119 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1214776 KiB
Current children cumulated memory: 1182180 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.9
CPU time (s): 3600.04
CPU user time (s): 3576.28
CPU system time (s): 23.7643
CPU usage (%): 99.7267
Max. virtual memory (cumulated for all children) (KiB): 1214776
Max. memory (cumulated for all children) (KiB): 1182180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.28
system time used= 23.7643
maximum resident set size= 1182180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21563
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= 103
involuntary context switches= 7960
# summary of solver processes directly reported to runsolver:
# pid: 49670
# total CPU time (s): 3600.04
# total CPU user time (s): 3576.28
# total CPU system time (s): 23.7643
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4185 second user time and 39.5429 second system time
The end
Begin job on nodeC007 at 2025-06-30 19:45:39
IDJOB=4486318
IDBENCH=147018
IDSOLVER=3335
FILE ID=nodeC007/4486318-1751305539
RUNJOBID= nodeC007-1751301413-48373
SLURM_JOB_ID= 9594277
Free space on /tmp= 432808 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data8_3.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486318-1751305539/watcher-4486318-1751305539 -o /tmp/evaluation-result-4486318-1751305539/solver-4486318-1751305539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751301413-48373 --watchdog 3760 ./ipbhs_scip HOME/instance-4486318-1751305539.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1adddfdbf1ced655bc7cf87afdf2cbda
RANDOM SEED=1927224006
nodeC007 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.207
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.68
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 : 3691.305
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.68
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.795
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.68
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 : 1197.514
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.68
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 : 3662.708
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.68
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 : 3691.230
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.68
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.68
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.433
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 126551456 kB
MemAvailable: 126985348 kB
Buffers: 3280 kB
Cached: 1241392 kB
SwapCached: 0 kB
Active: 3261956 kB
Inactive: 994884 kB
Active(anon): 3030128 kB
Inactive(anon): 0 kB
Active(file): 231828 kB
Inactive(file): 994884 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 70148 kB
Writeback: 0 kB
AnonPages: 3015076 kB
Mapped: 134912 kB
Shmem: 17960 kB
KReclaimable: 93612 kB
Slab: 176984 kB
SReclaimable: 93612 kB
SUnreclaim: 83372 kB
KernelStack: 3996 kB
PageTables: 9180 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3408756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2363392 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432740 MiB
End job on nodeC007 at 2025-06-30 20:45:50