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.00/0.03 c limit for coefficient in constraints and objective to 1000000000
0.00/0.03 c will solve HOME/instance-4517568-1751530885.opb
0.00/0.03 c [0] will start solving
50.64/50.82 c [0.01] solve iteration 1, LB=0, UB=11
50.64/50.82 c [49.24] solve iteration 2, LB=0, UB=1
50.64/50.82 c [49.24] LB=UB after computing candidate
50.64/50.82 c [49.24] instance solved in 49.24s (optimization: 0s, core-extraction: 49.23s, SIS: 0s), 2 iterations, LB=1, UB=1,
50.64/50.82 d ITERATIONS 2
50.64/50.82 d SIS 0
50.64/50.82 d SIS_SAT 0
50.64/50.82 d SIS_UNSAT 0
50.64/50.82 d SIS_OUT_OF_BUDGET 0
50.64/50.82 d CORES_EXTRACTED 10
50.64/50.82 d CORES_IN_OPTIMIZER 1
50.64/50.82 d CLAUSAL_CORES_IN_OPTIMIZER 1
50.64/50.82 d CARDINALITY_CORES_IN_OPTIMIZER 0
50.64/50.82 d PB_CORES_IN_OPTIMIZER 0
50.64/50.82 d TIME_EXTRACT_CORES 49.230000
50.64/50.82 d TIME_OPTIMIZE 0.000000
50.64/50.82 d TIME_SIS 0.000000
50.64/50.82 c solve_time: 49.240000
50.64/50.82 s OPTIMUM FOUND
50.64/50.82 o 1
50.64/50.82 v -x46 -x56 -x66 -x76 -x86 -x96 -x106 -x116 -x126 x136 -x146 -x47 -x57 -x67 -x77 -x87 -x97 -x107 -x117 x127 -x137 -x147 -x48 -x58 -x68 -x78 x88 -x98 -x108 -x118 -x128 -x138 -x148 -x49 -x59 -x69 -x79 -x89 -x99 -x109 -x119 -x129 -x139 x149 -x50 -x60 x70 -x80 -x90 -x100 -x110 -x120 -x130 -x140 -x150 x51 -x61 -x71 -x81 -x91 -x101 -x111 -x121 -x131 -x141 -x151 -x52 -x62 -x72 -x82 -x92 x102 -x112 -x122 -x132 -x142 -x152 -x53 -x63 -x73 -x83 -x93 -x103 -x113 x123 -x133 -x143 -x153 -x54 -x64 -x74 -x84 -x94 -x104 x114 -x124 -x134 -x144 -x154 -x55 -x65 -x75 x85 -x95 -x105 -x115 -x125 -x135 -x145 -x155 x1 x2 x3 x4 x5 -x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245
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 (62212 MiB free)
memory of node 1: 64465 MiB (60227 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517568-1751530885/watcher-4517568-1751530885 -o /tmp/evaluation-result-4517568-1751530885/solver-4517568-1751530885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751523662-74113 --watchdog 3760 ./ipbhs_scip HOME/instance-4517568-1751530885.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
Starting watchdog thread
solver pid=74901, runsolver pid=74893
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.11 4.11 4.09 6/265 74907
/proc/meminfo: memFree=124707584/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=46372 memory=21368 CPUtime=0.08 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 1704 0 0 0 7 1 0 0 20 0 1 0 68765064 47484928 5342 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 11593 5342 3488 2790 0 5018 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 46372 KiB
Current children cumulated memory: 21368 KiB
[startup+0.205151 s]*
/proc/loadavg: 4.11 4.11 4.09 6/265 74907
/proc/meminfo: memFree=123792276/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=46372 memory=21624 CPUtime=0.19 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 1775 0 0 0 17 2 0 0 20 0 1 0 68765064 47484928 5406 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 11593 5406 3488 2790 0 5018 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46372 KiB
Current children cumulated memory: 21624 KiB
[startup+0.305795 s]*
/proc/loadavg: 4.11 4.11 4.09 6/265 74907
/proc/meminfo: memFree=123127592/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=46372 memory=21752 CPUtime=0.29 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 1808 0 0 0 26 3 0 0 20 0 1 0 68765064 47484928 5438 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 11593 5438 3488 2790 0 5018 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46372 KiB
Current children cumulated memory: 21752 KiB
[startup+0.700108 s]
/proc/loadavg: 4.11 4.11 4.09 6/265 74907
/proc/meminfo: memFree=122312492/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=46372 memory=22136 CPUtime=0.68 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 1909 0 0 0 63 5 0 0 20 0 1 0 68765064 47484928 5534 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 11593 5534 3488 2790 0 5018 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46372 KiB
Current children cumulated memory: 22136 KiB
[startup+1.5001 s]
/proc/loadavg: 4.11 4.11 4.09 6/265 74907
/proc/meminfo: memFree=122308396/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=46568 memory=22392 CPUtime=1.48 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 1959 0 0 0 140 8 0 0 20 0 1 0 68765064 47685632 5598 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 11642 5598 3488 2790 0 5067 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46568 KiB
Current children cumulated memory: 22392 KiB
[startup+3.10444 s]
/proc/loadavg: 4.10 4.11 4.09 6/265 74952
/proc/meminfo: memFree=124586908/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=46868 memory=22776 CPUtime=3.08 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 2049 0 0 0 294 14 0 0 20 0 1 0 68765064 47992832 5694 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 11717 5694 3488 2790 0 5142 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 46868 KiB
Current children cumulated memory: 22776 KiB
[startup+6.3001 s]
/proc/loadavg: 4.10 4.11 4.09 6/265 74952
/proc/meminfo: memFree=124577252/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=47624 memory=25500 CPUtime=6.26 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 2245 0 0 0 603 23 0 0 20 0 1 0 68765064 48766976 6375 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 11906 6375 3488 2790 0 5331 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47624 KiB
Current children cumulated memory: 25500 KiB
[startup+12.7001 s]
/proc/loadavg: 4.24 4.14 4.10 6/265 74953
/proc/meminfo: memFree=124575516/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=48452 memory=26268 CPUtime=12.65 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 2435 0 0 0 1222 43 0 0 20 0 1 0 68765064 49614848 6567 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 12113 6567 3488 2790 0 5538 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 48452 KiB
Current children cumulated memory: 26268 KiB
[startup+25.5001 s]
/proc/loadavg: 4.21 4.13 4.10 6/263 74953
/proc/meminfo: memFree=124551844/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=52452 memory=28316 CPUtime=25.42 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 2943 0 0 0 2460 82 0 0 20 0 1 0 68765064 53710848 7079 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 13113 7079 3488 2790 0 6538 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 52452 KiB
Current children cumulated memory: 28316 KiB
[startup+50.8261 s]
# the end of solver process 74901 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=49.2478 s, system=1.42909 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6001 s]
/proc/loadavg: 4.21 4.13 4.10 6/263 74953
/proc/meminfo: memFree=124551844/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=52452 memory=28316 CPUtime=25.52 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 2943 0 0 0 2470 82 0 0 20 0 1 0 68765064 53710848 7079 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 13113 7079 3488 2790 0 6538 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 52452 KiB
Current children cumulated memory: 28316 KiB
[startup+38.4001 s]
/proc/loadavg: 4.16 4.12 4.10 6/263 74953
/proc/meminfo: memFree=124509476/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=53248 memory=30492 CPUtime=38.28 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 3495 0 0 0 3715 113 0 0 20 0 1 0 68765064 54525952 7623 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 13312 7623 3488 2790 0 6737 0
Current children cumulated CPU time: 38.28 s
Current children cumulated vsize: 53248 KiB
Current children cumulated memory: 30492 KiB
[startup+44.8001 s]
/proc/loadavg: 4.15 4.12 4.09 6/263 74953
/proc/meminfo: memFree=124512800/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=58364 memory=31900 CPUtime=44.66 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 3839 0 0 0 4337 129 0 0 20 0 1 0 68765064 59764736 7975 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 14591 7975 3488 2790 0 8016 0
Current children cumulated CPU time: 44.66 s
Current children cumulated vsize: 58364 KiB
Current children cumulated memory: 31900 KiB
[startup+48.0001 s]*
/proc/loadavg: 4.13 4.12 4.09 6/263 74953
/proc/meminfo: memFree=124489652/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=58364 memory=32156 CPUtime=47.86 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 3888 0 0 0 4649 137 0 0 20 0 1 0 68765064 59764736 8039 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 14591 8039 3488 2790 0 8016 0
Current children cumulated CPU time: 47.86 s
Current children cumulated vsize: 58364 KiB
Current children cumulated memory: 32156 KiB
[startup+49.6001 s]
/proc/loadavg: 4.13 4.12 4.09 6/263 74953
/proc/meminfo: memFree=124482564/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=58640 memory=32540 CPUtime=49.44 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 4008 0 0 0 4804 140 0 0 20 0 1 0 68765064 60047360 8135 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 14660 8135 3488 2790 0 8085 0
Current children cumulated CPU time: 49.44 s
Current children cumulated vsize: 58640 KiB
Current children cumulated memory: 32540 KiB
[startup+50.4001 s]
/proc/loadavg: 4.13 4.12 4.09 6/263 74953
/proc/meminfo: memFree=124490628/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=58836 memory=33052 CPUtime=50.24 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 4110 0 0 0 4882 142 0 0 20 0 1 0 68765064 60248064 8263 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 14709 8263 3488 2790 0 8134 0
Current children cumulated CPU time: 50.24 s
Current children cumulated vsize: 58836 KiB
Current children cumulated memory: 33052 KiB
[startup+50.8001 s]
/proc/loadavg: 4.13 4.12 4.09 6/263 74953
/proc/meminfo: memFree=124490628/131250000 swapFree=33010672/33010684
[pid=74901] ppid=74893 vsize=58836 memory=33052 CPUtime=50.64 cores=0,2
/proc/74901/stat : 74901 (ipbhs_scip) R 74893 74901 74103 0 -1 4194304 4110 0 0 0 4922 142 0 0 20 0 1 0 68765064 60248064 8263 18446744073709551615 94723470745600 94723482171997 140734661248496 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94723484307672 94723484352690 94723494883328 140734661253522 140734661253641 140734661253641 140734661259243 0
/proc/74901/statm: 14709 8263 3488 2790 0 8134 0
Current children cumulated CPU time: 50.64 s
Current children cumulated vsize: 58836 KiB
Current children cumulated memory: 33052 KiB
Child status: 0
Real time (s): 50.8261
CPU time (s): 50.6769
CPU user time (s): 49.2478
CPU system time (s): 1.42909
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 58836
Max. memory (cumulated for all children) (KiB): 33052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.2478
system time used= 1.42908
maximum resident set size= 33180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4166
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= 73
# summary of solver processes directly reported to runsolver:
# pid: 74901
# total CPU time (s): 50.6769
# total CPU user time (s): 49.2478
# total CPU system time (s): 1.42909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.089785 second user time and 0.200454 second system time
The end
Begin job on nodeC014 at 2025-07-03 10:21:25
IDJOB=4517568
IDBENCH=176126
IDSOLVER=3335
FILE ID=nodeC014/4517568-1751530885
RUNJOBID= nodeC014-1751523662-74113
SLURM_JOB_ID= 9598651
Free space on /tmp= 430468 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=10-t=9.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517568-1751530885/watcher-4517568-1751530885 -o /tmp/evaluation-result-4517568-1751530885/solver-4517568-1751530885 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751523662-74113 --watchdog 3760 ./ipbhs_scip HOME/instance-4517568-1751530885.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fc6c22edea63d6bf282da0f44295fc1a
RANDOM SEED=141765789
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.103
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 : 3599.433
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.886
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.016
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.264
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.122
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.285
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 : 3639.374
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: 125370288 kB
MemAvailable: 127456732 kB
Buffers: 2508 kB
Cached: 2881608 kB
SwapCached: 4 kB
Active: 2937728 kB
Inactive: 2323424 kB
Active(anon): 2391248 kB
Inactive(anon): 3852 kB
Active(file): 546480 kB
Inactive(file): 2319572 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 211036 kB
Writeback: 0 kB
AnonPages: 2379500 kB
Mapped: 114548 kB
Shmem: 18064 kB
KReclaimable: 119260 kB
Slab: 209792 kB
SReclaimable: 119260 kB
SUnreclaim: 90532 kB
KernelStack: 4096 kB
PageTables: 7644 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3110216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1445888 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:22:16