4.55/4.67 c initialize IPBHS solver
4.55/4.67 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
4.55/4.67 c optimizer = "scip"
4.55/4.67 c pbsolver = "roundingsat"
4.55/4.67 c load symmetries from file ""
4.55/4.67 c set time limit for symmetry computation to 100 seconds.
4.55/4.67 c set interchangeable summation variable limit to 3
4.55/4.67 c set abs symmetric core budget per WCE-iteration to 100
4.55/4.67 c set rel symmetric core budget per WCE-iteration to 0
4.55/4.67 c set lit symmetric core budget per WCE-iteration to 0
4.55/4.67 c set sym generation to 's'
4.55/4.67 c set abstraction set creation to 10 iterations without LB change
4.55/4.67 c set abstraction set inputs to 0
4.55/4.67 c set abstraction set cluster min size to 2
4.55/4.67 c set abstraction set cluster max size to 100000000
4.55/4.67 c set abstraction set cluster activation limit to 2
4.55/4.67 c enable abstraction set require equal cost
4.55/4.67 c set abstraction set assumptions to 0
4.55/4.67 c set abstraction set constraint type to 0
4.55/4.67 c set abstract core extraction strategy to b
4.55/4.67 c set core extraction strategy to 2
4.55/4.67 c set core extraction shuffles 10
4.55/4.67 c set cores per iteration to 5
4.55/4.67 c set optimizer bound usage strategy to 2
4.55/4.67 c set optimizer max non-optimal iterations to 1000
4.55/4.67 c set small core cardinality limit to 2
4.55/4.67 c set max coef in cores to 1000000000
4.55/4.67 c set SIS iterations to 5
4.55/4.67 c set SIS budget abs to 1000
4.55/4.67 c set SIS budget rel to 0.05
4.55/4.67 c limit for coefficient in constraints and objective to 9223372036854775807
4.55/4.67 c will solve HOME/instance-4431889-1721062829.opb
4.55/4.67 c [0.03] solve iteration 1, LB=-450, UB=1
383.88/385.04 c LB=UB after core extraction
383.88/385.04 c instance solved in 383.62s (IP-solver: 383.46s, core-extraction: 0s, SIS: 0s), 1 iterations, LB=-30, UB=-30,
383.88/385.04 d ITERATIONS 1
383.88/385.04 d SIS 0
383.88/385.04 d SIS_SAT 0
383.88/385.04 d SIS_UNSAT 0
383.88/385.04 d SIS_OUT_OF_BUDGET 0
383.88/385.04 d CORES_EXTRACTED 0
383.88/385.04 d CORES_IN_OPTIMIZER 0
383.88/385.04 d CLAUSAL_CORES_IN_OPTIMIZER 0
383.88/385.04 d CARDINALITY_CORES_IN_OPTIMIZER 0
383.88/385.04 d PB_CORES_IN_OPTIMIZER 0
383.88/385.04 d TIME_EXTRACT_CORES 0.000000
383.88/385.04 d TIME_OPTIMIZE 383.460000
383.88/385.04 d TIME_SIS 0.000000
383.88/385.04 c solve_time: 383.620000
383.88/385.04 s OPTIMUM FOUND
383.88/385.04 o -30
383.88/385.04 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x20 -x21 -x27 x34 -x41 -x42 -x44 -x94 -x96 x97 -x98 -x99 -x100 -x103 -x104 -x110 -x113 -x117 -x183 -x187 -x188 -x191 -x194 -x195 -x196 -x207 -x210 -x241 x242 -x245 -x246 -x248 -x250 -x251 -x253 -x255 -x260 -x263 -x265 -x266 -x267 x268 -x269 -x270 -x274 -x276 -x277 -x281 -x335 -x346 -x348 -x352 -x359 -x397 -x400 -x408 -x409 -x410 -x414 -x416 -x417 -x420 -x425 -x432 -x434 -x25 -x26 -x29 -x32 -x92 -x93 -x95 -x101 -x102 -x112 -x116 -x118 -x184 -x190 -x201 -x204 -x244 -x256 -x257 -x258 -x261 -x273 -x278 x280 -x283 -x332 -x333 -x334 -x338 -x339 -x342 -x344 -x353 -x357 -x406 x411 -x415 -x418 -x419 x426 -x430 -x431 x19 -x23 -x35 -x38 -x39 -x45 -x91 -x105 -x108 -x111 -x114 -x181 -x182 -x185 x186 -x189 -x202 -x209 -x243 -x247 -x254 -x340 -x341 -x347 -x349 -x350 -x355 -x360 -x392 -x394 -x396 -x401 -x404 -x405 -x407 -x413 -x421 -x24 -x192 -x193 -x198 -x199 -x208 -x252 -x264 -x331 -x343 -x391 -x412 -x424 -x428 -x17 -x18 -x43 -x106 -x259 -x272 -x275 -x282 -x354 -x393 -x403 -x435 -x40 -x279 -x284 -x358 x398 -x22 -x119 -x203 x336 -x345 -x356 -x399 -x422 -x423 -x33 -x36 -x205 -x249 -x262 -x285 -x395 -x402 -x427 -x28 x120 -x271 -x109 -x197 -x433 -x115 -x30 -x107 x206 -x337 -x429 -x37 -x48 -x52 -x56 -x57 -x76 -x77 -x79 -x80 -x81 -x82 -x84 -x85 -x86 -x89 -x124 -x125 -x127 -x130 -x133 -x135 -x152 -x154 -x155 -x157 x159 -x162 -x163 -x165 -x302 -x307 x314 -x315 -x362 x364 -x366 -x367 -x368 -x371 -x372 -x373 -x375 -x46 -x47 -x53 -x59 -x60 -x123 -x153 -x156 -x160 -x303 -x304 -x305 -x308 -x309 -x310 -x311 -x313 -x363 -x365 -x370 -x374 -x54 x55 x78 -x83 -x88 -x90 -x121 x122 -x131 -x151 -x361 -x128 -x158 -x164 -x312 -x369 -x50 -x87 -x200 -x49 -x58 -x129 -x132 -x301 -x126 -x51 -x134 -x161 -x306 -x31 -x64 -x66 -x73 -x166 -x169 -x170 -x171 -x177 -x179 -x287 -x290 -x292 -x295 -x300 -x316 -x327 x329 -x378 -x379 -x381 -x385 -x386 -x388 -x61 -x65 -x71 -x172 -x174 -x176 -x286 -x291 -x321 -x324 -x325 -x380 -x382 -x387 -x69 x74 x167 -x168 -x175 -x180 -x296 -x318 -x322 -x383 x384 -x293 -x294 -x299 -x317 -x320 -x323 -x376 -x377 -x63 -x72 -x75 -x288 x298 -x326 -x328 -x173 -x389 -x62 -x70 -x330 -x68 -x178 -x390 -x67 -x289 -x297 -x319 x211 -x213 -x218 -x226 x227 -x234 -x235 -x236 -x237 -x238 -x240 -x212 -x215 -x219 -x223 -x230 -x231 -x239 -x214 -x220 -x224 -x233 -x216 -x225 -x221 -x222 -x229 -x217 -x228 -x232 -x139 -x140 -x142 -x145 x351 -x436 -x439 -x443 -x447 -x137 x136 -x138 -x148 -x437 -x441 x445 -x141 -x149 -x444 -x446 -x449 -x146 -x450 -x150 -x144 -x438 -x143 -x440 -x442 -x448 -x147
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: 63968 MiB (62777 MiB free)
memory of node 1: 64473 MiB (58554 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431889-1721062829/watcher-4431889-1721062829 -o /tmp/evaluation-result-4431889-1721062829/solver-4431889-1721062829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808012 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431889-1721062829.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=810493, runsolver pid=810490
[startup+0.101061 s]*
/proc/loadavg: 4.12 4.14 4.10 5/259 810494
/proc/meminfo: memFree=124219176/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=50896 memory=33696 CPUtime=0.09 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 5998 0 0 0 4 5 0 0 20 0 1 0 158449979 52117504 8424 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 12724 8424 2383 2900 0 9238 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50896 KiB
Current children cumulated memory: 33696 KiB
[startup+0.206065 s]*
/proc/loadavg: 4.12 4.14 4.10 5/259 810495
/proc/meminfo: memFree=124176424/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=96240 memory=77736 CPUtime=0.19 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 17093 0 0 0 12 7 0 0 20 0 1 0 158449979 98549760 19434 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 24060 19434 2767 2900 0 20574 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 96240 KiB
Current children cumulated memory: 77736 KiB
[startup+0.308047 s]*
/proc/loadavg: 4.12 4.14 4.10 5/259 810495
/proc/meminfo: memFree=124173672/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=98256 memory=80932 CPUtime=0.29 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 18363 0 0 0 22 7 0 0 20 0 1 0 158449979 100614144 20233 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 24564 20233 2863 2900 0 21078 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98256 KiB
Current children cumulated memory: 80932 KiB
[startup+0.701044 s]
/proc/loadavg: 4.12 4.14 4.10 5/259 810495
/proc/meminfo: memFree=124140408/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=137684 memory=117404 CPUtime=0.66 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 27449 0 0 0 58 8 0 0 20 0 1 0 158449979 140988416 29351 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 34421 29351 2895 2900 0 30935 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 137684 KiB
Current children cumulated memory: 117404 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.14 4.10 5/259 810495
/proc/meminfo: memFree=124132756/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=147020 memory=122156 CPUtime=1.46 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 28688 0 0 0 137 9 0 0 20 0 1 0 158449979 150548480 30539 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 36755 30539 2895 2900 0 33269 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 147020 KiB
Current children cumulated memory: 122156 KiB
[startup+3.1053 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 810496
/proc/meminfo: memFree=124131064/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=154616 memory=122948 CPUtime=3.06 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 28879 0 0 0 297 9 0 0 20 0 1 0 158449979 158326784 30737 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 38654 30737 2895 2900 0 35168 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 154616 KiB
Current children cumulated memory: 122948 KiB
[startup+6.3002 s]
/proc/loadavg: 4.11 4.14 4.10 5/258 810496
/proc/meminfo: memFree=124098100/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=204260 memory=151704 CPUtime=6.24 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 36058 0 0 0 614 10 0 0 20 0 1 0 158449979 209162240 37926 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 51065 37926 2895 2900 0 47579 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 204260 KiB
Current children cumulated memory: 151704 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.15 4.10 5/258 810498
/proc/meminfo: memFree=124053580/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=212776 memory=152668 CPUtime=12.62 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 36114 0 0 0 1252 10 0 0 20 0 1 0 158449979 217882624 38167 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 53194 38167 3103 2900 0 49708 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 212776 KiB
Current children cumulated memory: 152668 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 810556
/proc/meminfo: memFree=126496328/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=240724 memory=167900 CPUtime=25.38 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 42021 0 0 0 2527 11 0 0 20 0 1 0 158449979 246501376 41975 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 60181 41975 3215 2900 0 56695 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 240724 KiB
Current children cumulated memory: 167900 KiB
[startup+51.1045 s]
/proc/loadavg: 4.09 4.13 4.10 5/258 810607
/proc/meminfo: memFree=127960948/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=287212 memory=203768 CPUtime=50.91 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 51053 0 0 0 5076 15 0 0 20 0 1 0 158449979 294105088 50942 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 71803 50942 3215 2900 0 68317 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 287212 KiB
Current children cumulated memory: 203768 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/258 810661
/proc/meminfo: memFree=127710352/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=302144 memory=219424 CPUtime=101.95 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 55796 0 0 0 10174 21 0 0 20 0 1 0 158449979 309395456 54856 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 75536 54856 3215 2900 0 72050 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 302144 KiB
Current children cumulated memory: 219424 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 810672
/proc/meminfo: memFree=127381516/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=389748 memory=318504 CPUtime=161.76 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 67627 0 0 0 16152 24 0 0 20 0 1 0 158449979 399101952 79626 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 97437 79626 3215 2900 0 93951 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 389748 KiB
Current children cumulated memory: 318504 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/256 810683
/proc/meminfo: memFree=127138888/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=427272 memory=390068 CPUtime=221.61 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 75965 0 0 0 22135 26 0 0 20 0 1 0 158449979 437526528 97517 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 106818 97517 3215 2900 0 103332 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 427272 KiB
Current children cumulated memory: 390068 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/255 810694
/proc/meminfo: memFree=126937540/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=475516 memory=442256 CPUtime=281.44 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 83889 0 0 0 28117 27 0 0 20 0 1 0 158449979 486928384 110564 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 118879 110564 3215 2900 0 115393 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 475516 KiB
Current children cumulated memory: 442256 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 810704
/proc/meminfo: memFree=126812268/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=481240 memory=459712 CPUtime=341.28 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 85648 0 0 0 34101 27 0 0 20 0 1 0 158449979 492789760 114928 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 120310 114928 3215 2900 0 116824 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 481240 KiB
Current children cumulated memory: 459712 KiB
[startup+385.055 s]
# the end of solver process 810493 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=383.649 s, system=0.287186 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.15 4.14 4.10 5/255 810705
/proc/meminfo: memFree=126747032/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=497720 memory=479800 CPUtime=357.34 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 89739 0 0 0 35706 28 0 0 20 0 1 0 158449979 509665280 119950 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 124430 119950 3215 2900 0 120944 0
Current children cumulated CPU time: 357.34 s
Current children cumulated vsize: 497720 KiB
Current children cumulated memory: 479800 KiB
[startup+371.2 s]
/proc/loadavg: 4.12 4.14 4.09 5/255 810708
/proc/meminfo: memFree=126736644/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=497720 memory=482344 CPUtime=370.11 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 89847 0 0 0 36983 28 0 0 20 0 1 0 158449979 509665280 120586 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 124430 120586 3215 2900 0 120944 0
Current children cumulated CPU time: 370.11 s
Current children cumulated vsize: 497720 KiB
Current children cumulated memory: 482344 KiB
[startup+377.6 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 810708
/proc/meminfo: memFree=126724964/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=506424 memory=484708 CPUtime=376.49 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 90401 0 0 0 37621 28 0 0 20 0 1 0 158449979 518578176 121177 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 126606 121177 3215 2900 0 123120 0
Current children cumulated CPU time: 376.49 s
Current children cumulated vsize: 506424 KiB
Current children cumulated memory: 484708 KiB
[startup+380.8 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 810708
/proc/meminfo: memFree=126724992/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=506424 memory=484708 CPUtime=379.68 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 90402 0 0 0 37940 28 0 0 20 0 1 0 158449979 518578176 121177 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 126606 121177 3215 2900 0 123120 0
Current children cumulated CPU time: 379.68 s
Current children cumulated vsize: 506424 KiB
Current children cumulated memory: 484708 KiB
[startup+382.4 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 810710
/proc/meminfo: memFree=126724956/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=506424 memory=484708 CPUtime=381.28 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 90405 0 0 0 38100 28 0 0 20 0 1 0 158449979 518578176 121177 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 126606 121177 3215 2900 0 123120 0
Current children cumulated CPU time: 381.28 s
Current children cumulated vsize: 506424 KiB
Current children cumulated memory: 484708 KiB
[startup+384 s]*
/proc/loadavg: 4.10 4.13 4.09 5/255 810710
/proc/meminfo: memFree=126720568/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=506424 memory=484708 CPUtime=382.88 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 90405 0 0 0 38260 28 0 0 20 0 1 0 158449979 518578176 121177 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 126606 121177 3215 2900 0 123120 0
Current children cumulated CPU time: 382.88 s
Current children cumulated vsize: 506424 KiB
Current children cumulated memory: 484708 KiB
[startup+384.8 s]
/proc/loadavg: 4.10 4.13 4.09 5/255 810710
/proc/meminfo: memFree=126720568/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=506424 memory=484708 CPUtime=383.67 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 90415 0 0 0 38339 28 0 0 20 0 1 0 158449979 518578176 121177 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 126606 121177 3215 2900 0 123120 0
Current children cumulated CPU time: 383.67 s
Current children cumulated vsize: 506424 KiB
Current children cumulated memory: 484708 KiB
[startup+385 s]*
/proc/loadavg: 4.10 4.13 4.09 5/255 810710
/proc/meminfo: memFree=126720568/131524600 swapFree=131071996/131071996
[pid=810493] ppid=810490 vsize=506424 memory=484708 CPUtime=383.88 cores=4,6
/proc/810493/stat : 810493 (ipbhs_static_sc) R 810490 810493 808001 0 -1 4194304 90420 0 0 0 38360 28 0 0 20 0 1 0 158449979 518578176 121177 134679101440 4194304 16068861 140727915035536 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 29155328 140727915037734 140727915037821 140727915037821 140727915044836 0
/proc/810493/statm: 126606 121177 3215 2900 0 123120 0
Current children cumulated CPU time: 383.88 s
Current children cumulated vsize: 506424 KiB
Current children cumulated memory: 484708 KiB
Child status: 0
Real time (s): 385.055
CPU time (s): 383.937
CPU user time (s): 383.649
CPU system time (s): 0.287186
CPU usage (%): 99.7095
Max. virtual memory (cumulated for all children) (KiB): 506424
Max. memory (cumulated for all children) (KiB): 484708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 383.649
system time used= 0.287186
maximum resident set size= 484708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90449
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= 58
involuntary context switches= 284
# summary of solver processes directly reported to runsolver:
# pid: 810493
# total CPU time (s): 383.937
# total CPU user time (s): 383.649
# total CPU system time (s): 0.287186
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.695338 second user time and 1.67802 second system time
The end
Begin job on nodeC028 at 2024-07-15 19:00:42
IDJOB=4431889
IDBENCH=146689
IDSOLVER=3057
FILE ID=nodeC028/4431889-1721062829
RUNJOBID= nodeC028-1721059157-808012
SLURM_JOB_ID= 7505495
Free space on /tmp= 889908 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431889-1721062829/watcher-4431889-1721062829 -o /tmp/evaluation-result-4431889-1721062829/solver-4431889-1721062829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808012 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431889-1721062829.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3e791e4af881e2fe08ee2208e231d7f8
RANDOM SEED=388628242
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3675.234
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
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 : 3684.456
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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.061
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
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 : 3599.830
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3659.674
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
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 : 3684.454
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3682.241
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.314
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124244292 kB
MemAvailable: 124911708 kB
Buffers: 368556 kB
Cached: 1137772 kB
SwapCached: 0 kB
Active: 660440 kB
Inactive: 6027512 kB
Active(anon): 1536 kB
Inactive(anon): 5217812 kB
Active(file): 658904 kB
Inactive(file): 809700 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54264 kB
Writeback: 0 kB
AnonPages: 5178828 kB
Mapped: 140892 kB
Shmem: 37720 kB
KReclaimable: 77268 kB
Slab: 179176 kB
SReclaimable: 77268 kB
SUnreclaim: 101908 kB
KernelStack: 4160 kB
PageTables: 19872 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6462188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1853440 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 193236 kB
DirectMap2M: 18454528 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889856 MiB
End job on nodeC028 at 2024-07-15 19:07:07