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.31/0.33 c limit for coefficient in constraints and objective to 1000000000
0.31/0.33 c will solve HOME/instance-4488020-1751309159.opb
0.31/0.33 c [0.01] will start solving
1.68/1.74 c [0.01] solve iteration 1, LB=0, UB=226
1.68/1.74 c [0.1] solve iteration 2, LB=49, UB=62
34.08/34.29 c [33.8] LB=UB after core extraction
34.08/34.29 c [33.8] instance solved in 33.8s (optimization: 33.64s, core-extraction: 0s, SIS: 0s), 2 iterations, LB=53, UB=53,
34.08/34.29 d ITERATIONS 2
34.08/34.29 d SIS 0
34.08/34.29 d SIS_SAT 0
34.08/34.29 d SIS_UNSAT 0
34.08/34.29 d SIS_OUT_OF_BUDGET 0
34.08/34.29 d CORES_EXTRACTED 0
34.08/34.29 d CORES_IN_OPTIMIZER 0
34.08/34.29 d CLAUSAL_CORES_IN_OPTIMIZER 0
34.08/34.29 d CARDINALITY_CORES_IN_OPTIMIZER 0
34.08/34.29 d PB_CORES_IN_OPTIMIZER 0
34.08/34.29 d TIME_EXTRACT_CORES 0.000000
34.08/34.29 d TIME_OPTIMIZE 33.640000
34.08/34.29 d TIME_SIS 0.000000
34.08/34.29 c solve_time: 33.800000
34.08/34.29 s OPTIMUM FOUND
34.08/34.29 o 53
34.08/34.29 v -x1 x2 -x16 -x17 x31 -x32 -x46 -x47 -x61 -x62 x76 x77 -x91 -x92 -x106 x107 -x121 -x122 x136 x137 -x151 -x152 -x166 -x167 x181 -x182 -x196 -x197 -x211 x212 -x3 -x18 -x33 x48 -x63 -x78 -x93 -x108 -x123 -x138 -x153 x168 -x183 -x198 -x213 -x4 x19 -x34 -x49 -x64 -x79 x94 -x109 x124 -x139 -x154 -x169 -x184 x199 -x214 -x5 -x20 -x35 -x50 x65 -x80 -x95 -x110 -x125 -x140 x155 -x170 -x185 -x200 -x215 x6 -x21 x36 -x51 -x66 -x81 -x96 x111 -x126 -x141 -x156 -x171 x186 -x201 x216 -x7 -x22 -x37 -x52 -x67 x82 -x97 -x112 -x127 x142 -x157 -x172 -x187 -x202 -x217 -x8 x23 -x38 x53 -x68 -x83 -x98 x113 -x128 -x143 -x158 x173 -x188 x203 -x218 -x9 -x24 -x39 -x54 -x69 x84 -x99 -x114 -x129 x144 -x159 -x174 -x189 -x204 -x219 x10 -x25 x40 -x55 -x70 -x85 -x100 x115 -x130 -x145 -x160 -x175 x190 -x205 x220 -x11 -x26 -x41 -x56 x71 -x86 -x101 -x116 -x131 -x146 x161 -x176 -x191 -x206 -x221 -x12 x27 -x42 -x57 -x72 -x87 x102 -x117 x132 -x147 -x162 -x177 -x192 x207 -x222 -x13 -x28 -x43 x58 -x73 -x88 -x103 -x118 -x133 -x148 -x163 x178 -x193 -x208 -x223 x14 -x29 -x44 -x59 -x74 x89 -x104 x119 -x134 x149 -x164 -x179 -x194 -x209 x224 -x15 -x30 x45 -x60 -x75 x90 -x105 -x120 -x135 x150 -x165 -x180 x195 -x210 -x225
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 (62477 MiB free)
memory of node 1: 64465 MiB (60185 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488020-1751309159/watcher-4488020-1751309159 -o /tmp/evaluation-result-4488020-1751309159/solver-4488020-1751309159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751301413-48373 --watchdog 3760 ./ipbhs_scip HOME/instance-4488020-1751309159.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=51290, runsolver pid=51287
[startup+0.100073 s]*
/proc/loadavg: 4.21 4.19 4.18 5/250 51291
/proc/meminfo: memFree=125352916/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=968204 memory=298008 CPUtime=0.09 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 1025 0 0 0 3 6 0 0 20 0 1 0 46595070 991440896 74502 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 242051 74502 1600 2790 0 235476 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 968204 KiB
Current children cumulated memory: 298008 KiB
[startup+0.213369 s]*
/proc/loadavg: 4.21 4.19 4.18 5/250 51291
/proc/meminfo: memFree=125331912/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=968204 memory=648216 CPUtime=0.21 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 1196 0 0 0 7 14 0 0 20 0 1 0 46595070 991440896 162054 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 242051 162054 1600 2790 0 235476 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 968204 KiB
Current children cumulated memory: 648216 KiB
[startup+0.313309 s]*
/proc/loadavg: 4.21 4.19 4.18 5/250 51291
/proc/meminfo: memFree=125019608/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=969432 memory=941336 CPUtime=0.31 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 2109 0 0 0 9 22 0 0 20 0 1 0 46595070 992698368 235334 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 242358 235334 3040 2790 0 235783 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 969432 KiB
Current children cumulated memory: 941336 KiB
[startup+0.700281 s]
/proc/loadavg: 4.21 4.19 4.18 5/250 51291
/proc/meminfo: memFree=124997492/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=995624 memory=967980 CPUtime=0.68 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 8481 0 0 0 44 24 0 0 20 0 1 0 46595070 1019518976 241995 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 248906 241995 3744 2790 0 242331 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 995624 KiB
Current children cumulated memory: 967980 KiB
[startup+1.5003 s]
/proc/loadavg: 4.21 4.19 4.18 5/250 51291
/proc/meminfo: memFree=124943060/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=1057428 memory=1026328 CPUtime=1.48 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 24308 0 0 0 121 27 0 0 20 0 1 0 46595070 1082806272 256582 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 264357 256582 3744 2790 0 257782 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1057428 KiB
Current children cumulated memory: 1026328 KiB
[startup+3.1128 s]
/proc/loadavg: 4.20 4.19 4.18 5/250 51291
/proc/meminfo: memFree=124915276/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=1060356 memory=1029400 CPUtime=3.08 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 25053 0 0 0 281 27 0 0 20 0 1 0 46595070 1085804544 257350 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 265089 257350 3744 2790 0 258514 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1060356 KiB
Current children cumulated memory: 1029400 KiB
[startup+6.30028 s]
/proc/loadavg: 4.20 4.19 4.18 5/250 51291
/proc/meminfo: memFree=124883336/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=1093588 memory=1061144 CPUtime=6.27 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 32994 0 0 0 599 28 0 0 20 0 1 0 46595070 1119834112 265286 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 273397 265286 3744 2790 0 266822 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1093588 KiB
Current children cumulated memory: 1061144 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.18 4.18 5/250 51291
/proc/meminfo: memFree=124866952/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=1094604 memory=1061400 CPUtime=12.65 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 33052 0 0 0 1237 28 0 0 20 0 1 0 46595070 1120874496 265350 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 273651 265350 3744 2790 0 267076 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1094604 KiB
Current children cumulated memory: 1061400 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.17 4.18 5/250 51291
/proc/meminfo: memFree=124848952/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=1100280 memory=1067160 CPUtime=25.4 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 34495 0 0 0 2512 28 0 0 20 0 1 0 46595070 1126686720 266790 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 275070 266790 3744 2790 0 268495 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1100280 KiB
Current children cumulated memory: 1067160 KiB
[startup+34.3061 s]
# the end of solver process 51290 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=33.8897 s, system=0.300588 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 4.14 4.17 4.18 5/250 51291
/proc/meminfo: memFree=124848952/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=1100280 memory=1067160 CPUtime=25.5 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 34495 0 0 0 2522 28 0 0 20 0 1 0 46595070 1126686720 266790 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 275070 266790 3744 2790 0 268495 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 1100280 KiB
Current children cumulated memory: 1067160 KiB
[startup+28.8003 s]
/proc/loadavg: 4.13 4.17 4.18 5/250 51291
/proc/meminfo: memFree=124840888/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=1108644 memory=1074200 CPUtime=28.69 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 36254 0 0 0 2841 28 0 0 20 0 1 0 46595070 1135251456 268550 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 277161 268550 3744 2790 0 270586 0
Current children cumulated CPU time: 28.69 s
Current children cumulated vsize: 1108644 KiB
Current children cumulated memory: 1074200 KiB
[startup+32.0003 s]*
/proc/loadavg: 4.13 4.17 4.18 5/250 51291
/proc/meminfo: memFree=124830068/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=1120804 memory=1087256 CPUtime=31.9 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 39530 0 0 0 3161 29 0 0 20 0 1 0 46595070 1147703296 271814 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 280201 271814 3744 2790 0 273626 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 1120804 KiB
Current children cumulated memory: 1087256 KiB
[startup+33.6002 s]
/proc/loadavg: 4.28 4.20 4.19 6/250 51291
/proc/meminfo: memFree=124830664/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=1120804 memory=1087256 CPUtime=33.48 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 39530 0 0 0 3319 29 0 0 20 0 1 0 46595070 1147703296 271814 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 280201 271814 3744 2790 0 273626 0
Current children cumulated CPU time: 33.48 s
Current children cumulated vsize: 1120804 KiB
Current children cumulated memory: 1087256 KiB
[startup+34.0003 s]*
/proc/loadavg: 4.28 4.20 4.19 5/250 51291
/proc/meminfo: memFree=124830664/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=1120804 memory=1087256 CPUtime=33.89 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 39531 0 0 0 3360 29 0 0 20 0 1 0 46595070 1147703296 271814 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 280201 271814 3744 2790 0 273626 0
Current children cumulated CPU time: 33.89 s
Current children cumulated vsize: 1120804 KiB
Current children cumulated memory: 1087256 KiB
[startup+34.2002 s]
/proc/loadavg: 4.28 4.20 4.19 5/250 51291
/proc/meminfo: memFree=124830664/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=1121892 memory=1087384 CPUtime=34.08 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 39554 0 0 0 3379 29 0 0 20 0 1 0 46595070 1148817408 271846 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 280473 271846 3744 2790 0 273898 0
Current children cumulated CPU time: 34.08 s
Current children cumulated vsize: 1121892 KiB
Current children cumulated memory: 1087384 KiB
[startup+34.3003 s]
/proc/loadavg: 4.28 4.20 4.19 5/250 51291
/proc/meminfo: memFree=124830664/131382112 swapFree=33010684/33010684
[pid=51290] ppid=51287 vsize=1071508 memory=111480 CPUtime=34.17 cores=0,2
/proc/51290/stat : 51290 (ipbhs_scip) R 51287 51290 48363 0 -1 4194304 39555 0 0 0 3388 29 0 0 20 0 1 0 46595070 1097224192 27870 18446744073709551615 93927569870848 93927581297245 140725878432560 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 93927583432920 93927583477938 93927588851712 140725878434194 140725878434313 140725878434313 140725878439915 0
/proc/51290/statm: 267877 27870 3744 2790 0 261302 0
Current children cumulated CPU time: 34.17 s
Current children cumulated vsize: 1071508 KiB
Current children cumulated memory: 111480 KiB
Child status: 0
Real time (s): 34.3062
CPU time (s): 34.1903
CPU user time (s): 33.8897
CPU system time (s): 0.300588
CPU usage (%): 99.6622
Max. virtual memory (cumulated for all children) (KiB): 1121892
Max. memory (cumulated for all children) (KiB): 1087384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.8897
system time used= 0.300588
maximum resident set size= 1087384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39561
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= 70
involuntary context switches= 84
# summary of solver processes directly reported to runsolver:
# pid: 51290
# total CPU time (s): 34.1903
# total CPU user time (s): 33.8897
# total CPU system time (s): 0.300588
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.19774 second user time and 0.385576 second system time
The end
Begin job on nodeC007 at 2025-06-30 20:45:59
IDJOB=4488020
IDBENCH=147228
IDSOLVER=3335
FILE ID=nodeC007/4488020-1751309159
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/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488020-1751309159/watcher-4488020-1751309159 -o /tmp/evaluation-result-4488020-1751309159/solver-4488020-1751309159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751301413-48373 --watchdog 3760 ./ipbhs_scip HOME/instance-4488020-1751309159.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0
RANDOM SEED=1075389353
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.198
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.756
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.492
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.599
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.160
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.344
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 : 1197.826
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.152
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: 125607240 kB
MemAvailable: 126040480 kB
Buffers: 3280 kB
Cached: 1240584 kB
SwapCached: 0 kB
Active: 3930160 kB
Inactive: 994076 kB
Active(anon): 3698332 kB
Inactive(anon): 0 kB
Active(file): 231828 kB
Inactive(file): 994076 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 69792 kB
Writeback: 40 kB
AnonPages: 3681584 kB
Mapped: 134756 kB
Shmem: 17960 kB
KReclaimable: 93924 kB
Slab: 177928 kB
SReclaimable: 93924 kB
SUnreclaim: 84004 kB
KernelStack: 4032 kB
PageTables: 10580 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 4422360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2400256 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:46:34