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.09/0.10 c limit for coefficient in constraints and objective to 1000000000
0.09/0.10 c will solve HOME/instance-4485122-1751303034.opb
0.09/0.10 c [0.01] will start solving
8.55/8.69 c [0.06] solve iteration 1, LB=-595, UB=1
8.55/8.69 c [0.77] solve iteration 2, LB=-297, UB=-23
1352.66/1356.93 c [1352.19] LB=UB after core extraction
1352.66/1356.93 c [1352.19] instance solved in 1352.19s (optimization: 1351.49s, core-extraction: 0s, SIS: 0s), 2 iterations, LB=-35, UB=-35,
1352.66/1356.93 d ITERATIONS 2
1352.66/1356.93 d SIS 0
1352.66/1356.93 d SIS_SAT 0
1352.66/1356.93 d SIS_UNSAT 0
1352.66/1356.93 d SIS_OUT_OF_BUDGET 0
1352.66/1356.93 d CORES_EXTRACTED 0
1352.66/1356.93 d CORES_IN_OPTIMIZER 0
1352.66/1356.93 d CLAUSAL_CORES_IN_OPTIMIZER 0
1352.66/1356.93 d CARDINALITY_CORES_IN_OPTIMIZER 0
1352.66/1356.93 d PB_CORES_IN_OPTIMIZER 0
1352.66/1356.93 d TIME_EXTRACT_CORES 0.000000
1352.66/1356.93 d TIME_OPTIMIZE 1351.490000
1352.66/1356.93 d TIME_SIS 0.000000
1352.66/1356.93 c solve_time: 1352.190000
1352.66/1356.93 s OPTIMUM FOUND
1352.66/1356.93 o -35
1352.66/1356.93 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x223 -x225 -x227 -x228 -x230 -x233 -x235 -x236 x238 -x278 -x283 -x287 -x288 -x307 -x312 -x318 -x319 -x320 -x326 -x327 -x331 -x334 -x336 -x337 -x340 -x362 -x364 -x366 -x367 -x369 -x371 -x372 -x461 -x463 -x466 -x468 -x477 -x481 -x482 -x483 -x489 -x224 -x229 -x237 -x284 -x313 -x321 -x322 -x330 -x333 -x338 -x359 -x363 -x470 -x486 -x493 -x222 -x232 -x274 -x276 x280 -x281 -x282 -x285 -x309 -x311 x315 x332 -x473 -x479 -x487 -x490 -x492 -x279 -x286 -x289 -x308 -x317 -x324 -x339 -x358 -x365 -x471 -x472 -x474 -x476 -x480 -x485 -x277 -x323 -x325 -x275 -x316 -x329 -x370 -x374 -x226 -x231 -x328 -x361 -x368 x373 -x469 -x475 -x314 -x335 -x460 -x491 -x273 -x310 -x360 x462 x488 -x467 -x484 -x465 -x234 -x464 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x38 -x40 -x41 -x42 -x48 -x49 -x104 x110 -x118 -x137 -x143 -x148 -x153 -x173 -x181 -x182 -x185 -x243 -x248 -x250 -x258 -x263 -x265 -x266 -x271 -x272 -x292 -x299 -x300 -x378 -x381 -x388 -x393 -x394 -x397 -x406 -x412 -x413 -x416 -x418 -x420 -x426 -x427 -x428 -x429 -x439 -x440 -x442 -x443 x453 x494 -x496 -x497 -x498 -x500 -x507 -x509 -x581 -x583 -x593 -x39 -x43 -x44 -x103 -x105 -x106 -x142 -x149 -x171 -x176 -x177 x180 -x187 -x239 -x253 -x257 -x261 -x262 x270 -x290 -x294 -x301 -x303 x382 -x387 -x404 -x405 -x411 -x414 -x430 x432 -x436 -x441 -x444 -x454 -x456 -x457 -x504 -x506 -x580 -x588 -x592 -x36 -x45 -x51 -x112 -x115 -x119 -x138 -x141 -x151 -x172 -x174 -x178 -x184 -x244 -x247 -x249 -x254 -x255 -x264 -x267 -x268 -x297 -x298 -x302 -x306 -x376 -x383 -x384 -x391 -x392 -x398 -x401 -x402 -x408 -x419 -x424 -x434 -x446 -x459 -x502 -x505 -x591 -x37 -x107 -x109 -x116 -x145 -x241 -x242 -x259 -x269 -x304 -x380 -x385 -x422 -x431 -x433 -x437 -x438 -x451 -x503 -x508 -x579 -x584 -x594 -x50 -x117 -x146 -x150 -x152 -x175 -x240 -x260 -x295 -x375 -x377 -x386 -x390 -x399 -x409 -x410 -x417 -x445 -x495 -x501 -x582 -x589 -x46 -x114 -x139 -x183 -x252 -x296 -x305 -x389 -x435 -x447 -x455 -x499 -x590 -x108 -x144 -x179 -x245 -x293 -x403 -x407 -x586 x587 x140 -x147 x291 -x421 -x448 -x47 -x379 x396 -x400 -x450 -x585 -x111 -x425 -x458 x251 -x256 -x395 x415 -x452 -x113 -x510 -x595 -x423 -x449 -x246 -x55 -x65 -x87 -x90 -x93 -x95 -x96 -x97 -x99 -x162 -x163 -x165 x168 -x186 -x345 -x346 -x347 -x349 -x352 -x353 -x354 -x356 -x511 -x512 -x514 -x516 -x517 -x521 -x531 -x532 -x542 -x544 -x58 -x59 x67 -x92 -x94 -x98 -x101 -x155 -x164 -x169 -x351 -x357 -x515 x518 -x527 -x530 x533 -x534 -x535 -x537 -x541 -x52 -x56 -x60 -x61 -x63 -x64 -x100 -x156 -x161 -x170 -x343 -x344 x348 -x519 -x526 -x157 -x167 -x341 -x522 -x528 -x53 -x89 -x154 -x160 -x350 -x478 -x513 -x529 -x540 -x62 -x66 -x523 -x538 -x539 -x68 -x86 -x88 x102 -x536 -x54 -x57 -x525 -x158 -x520 -x91 -x166 -x355 -x524 -x543 -x342 -x69 -x72 -x78 -x82 x84 -x120 -x122 -x123 -x125 -x128 x130 -x132 -x133 -x135 -x136 -x192 -x197 -x198 -x548 -x551 -x560 -x561 -x563 -x564 -x566 -x568 -x569 x570 -x574 -x578 -x79 -x80 -x81 -x83 -x126 -x127 -x129 -x131 -x189 -x196 -x201 -x202 -x204 -x545 -x546 -x549 -x552 -x553 -x565 -x571 -x572 -x573 -x577 -x70 -x71 -x121 -x124 -x134 -x191 -x194 -x555 x556 -x575 -x77 -x550 -x559 -x576 -x74 x188 -x557 -x558 -x562 -x200 -x554 -x73 -x75 -x195 -x567 -x85 -x190 -x193 -x199 -x76 -x203 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x159 -x547
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 (62383 MiB free)
memory of node 1: 64465 MiB (63533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485122-1751303034/watcher-4485122-1751303034 -o /tmp/evaluation-result-4485122-1751303034/solver-4485122-1751303034 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751303034-42205 --watchdog 3760 ./ipbhs_scip HOME/instance-4485122-1751303034.opb --optimizer scip --max-coef 1000000000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=42251, runsolver pid=42245
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 2.93 3.85 4.01 5/265 42264
/proc/meminfo: memFree=128350688/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=47592 memory=24684 CPUtime=0.09 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 2537 0 0 0 5 4 0 0 20 0 1 0 45980068 48734208 6171 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 11898 6171 3168 2790 0 5323 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47592 KiB
Current children cumulated memory: 24684 KiB
[startup+0.205702 s]*
/proc/loadavg: 2.93 3.85 4.01 6/265 42264
/proc/meminfo: memFree=127822708/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=78196 memory=55264 CPUtime=0.19 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 10374 0 0 0 10 9 0 0 20 0 1 0 45980068 80072704 13816 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 19549 13816 3200 2790 0 12974 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78196 KiB
Current children cumulated memory: 55264 KiB
[startup+0.305723 s]*
/proc/loadavg: 2.93 3.85 4.01 5/265 42264
/proc/meminfo: memFree=127728024/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=101056 memory=78384 CPUtime=0.28 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 16100 0 0 0 18 10 0 0 20 0 1 0 45980068 103481344 19596 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 25264 19596 3552 2790 0 18689 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 101056 KiB
Current children cumulated memory: 78384 KiB
[startup+0.700161 s]
/proc/loadavg: 2.93 3.85 4.01 5/265 42264
/proc/meminfo: memFree=127531520/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=194888 memory=166180 CPUtime=0.68 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 34813 0 0 0 54 14 0 0 20 0 1 0 45980068 199565312 41545 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 48722 41545 3680 2790 0 42147 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 194888 KiB
Current children cumulated memory: 166180 KiB
[startup+1.50017 s]
/proc/loadavg: 2.93 3.85 4.01 5/265 42264
/proc/meminfo: memFree=127252600/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=257540 memory=223976 CPUtime=1.48 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 52557 0 0 0 131 17 0 0 20 0 1 0 45980068 263720960 55994 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 64385 55994 3712 2790 0 57810 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 257540 KiB
Current children cumulated memory: 223976 KiB
[startup+3.10538 s]
/proc/loadavg: 3.10 3.87 4.01 5/265 42264
/proc/meminfo: memFree=127099660/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=303620 memory=261008 CPUtime=3.07 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 61337 0 0 0 289 18 0 0 20 0 1 0 45980068 310906880 65252 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 75905 65252 3712 2790 0 69330 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 303620 KiB
Current children cumulated memory: 261008 KiB
[startup+6.30016 s]
/proc/loadavg: 3.10 3.87 4.01 5/265 42264
/proc/meminfo: memFree=127092016/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=333548 memory=267920 CPUtime=6.26 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 63088 0 0 0 607 19 0 0 20 0 1 0 45980068 341553152 66980 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 83387 66980 3712 2790 0 76812 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 333548 KiB
Current children cumulated memory: 267920 KiB
[startup+12.7002 s]
/proc/loadavg: 3.32 3.89 4.02 5/265 42264
/proc/meminfo: memFree=126955256/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=407532 memory=320528 CPUtime=12.64 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 76236 0 0 0 1242 22 0 0 20 0 1 0 45980068 417312768 80132 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 101883 80132 3712 2790 0 95308 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 407532 KiB
Current children cumulated memory: 320528 KiB
[startup+25.5002 s]
/proc/loadavg: 3.42 3.89 4.02 5/265 42264
/proc/meminfo: memFree=126907472/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=407532 memory=320656 CPUtime=25.39 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 76265 0 0 0 2517 22 0 0 20 0 1 0 45980068 417312768 80164 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 101883 80164 3712 2790 0 95308 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 407532 KiB
Current children cumulated memory: 320656 KiB
[startup+51.1056 s]
/proc/loadavg: 3.70 3.92 4.02 5/265 42266
/proc/meminfo: memFree=126795880/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=449196 memory=356060 CPUtime=50.9 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 89995 0 0 0 5067 23 0 0 20 0 1 0 45980068 459976704 89015 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 112299 89015 3712 2790 0 105724 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 449196 KiB
Current children cumulated memory: 356060 KiB
[startup+102.3 s]
/proc/loadavg: 3.95 3.95 4.02 5/265 42268
/proc/meminfo: memFree=126323844/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=526992 memory=390472 CPUtime=101.91 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 98088 0 0 0 10166 25 0 0 20 0 1 0 45980068 539639808 97618 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 131748 97618 3712 2790 0 125173 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 526992 KiB
Current children cumulated memory: 390472 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 3.96 4.02 5/265 42270
/proc/meminfo: memFree=125439680/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=631992 memory=473208 CPUtime=161.73 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 110582 0 0 0 16145 28 0 0 20 0 1 0 45980068 647159808 118302 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 157998 118302 3712 2790 0 151423 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 631992 KiB
Current children cumulated memory: 473208 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.00 4.02 5/265 42271
/proc/meminfo: memFree=124977120/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=678464 memory=518184 CPUtime=221.55 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 114928 0 0 0 22126 29 0 0 20 0 1 0 45980068 694747136 129546 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 169616 129546 3712 2790 0 163041 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 678464 KiB
Current children cumulated memory: 518184 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.01 4.02 5/266 42274
/proc/meminfo: memFree=124325500/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=704988 memory=593764 CPUtime=281.38 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 119028 0 0 0 28108 30 0 0 20 0 1 0 45980068 721907712 148441 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 176247 148441 3840 2790 0 169672 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 704988 KiB
Current children cumulated memory: 593764 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.03 4.02 5/264 42276
/proc/meminfo: memFree=124089796/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=745328 memory=639304 CPUtime=341.21 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 129370 0 0 0 34089 32 0 0 20 0 1 0 45980068 763215872 159826 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 186332 159826 3840 2790 0 179757 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 745328 KiB
Current children cumulated memory: 639304 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.04 4.02 5/265 42286
/proc/meminfo: memFree=123955848/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=786548 memory=710168 CPUtime=401.03 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 135543 0 0 0 40070 33 0 0 20 0 1 0 45980068 805425152 177542 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 196637 177542 3840 2790 0 190062 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 786548 KiB
Current children cumulated memory: 710168 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.04 4.02 5/265 42288
/proc/meminfo: memFree=123779624/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=801532 memory=744336 CPUtime=460.83 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 139477 0 0 0 46050 33 0 0 20 0 1 0 45980068 820768768 186084 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 200383 186084 3840 2790 0 193808 0
################
# More data... #
################
/proc/loadavg: 4.06 4.08 4.03 5/264 42314
/proc/meminfo: memFree=121944828/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=983480 memory=930560 CPUtime=999.15 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 182733 0 0 0 99874 41 0 0 20 0 1 0 45980068 1007083520 232640 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 245870 232640 3840 2790 0 239295 0
Current children cumulated CPU time: 999.15 s
Current children cumulated vsize: 983480 KiB
Current children cumulated memory: 930560 KiB
[startup+1062.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/264 42316
/proc/meminfo: memFree=121731236/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1022000 memory=939752 CPUtime=1058.96 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 183526 0 0 0 105854 42 0 0 20 0 1 0 45980068 1046528000 234938 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 255500 234938 3840 2790 0 248925 0
Current children cumulated CPU time: 1058.96 s
Current children cumulated vsize: 1022000 KiB
Current children cumulated memory: 939752 KiB
[startup+1122.3 s]
/proc/loadavg: 4.14 4.09 4.04 5/264 42318
/proc/meminfo: memFree=121714340/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1022000 memory=939752 CPUtime=1118.77 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 183526 0 0 0 111835 42 0 0 20 0 1 0 45980068 1046528000 234938 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 255500 234938 3840 2790 0 248925 0
Current children cumulated CPU time: 1118.77 s
Current children cumulated vsize: 1022000 KiB
Current children cumulated memory: 939752 KiB
[startup+1182.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 42321
/proc/meminfo: memFree=121620232/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1022540 memory=970600 CPUtime=1178.59 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 184576 0 0 0 117816 43 0 0 20 0 1 0 45980068 1047080960 242650 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 255635 242650 3840 2790 0 249060 0
Current children cumulated CPU time: 1178.59 s
Current children cumulated vsize: 1022540 KiB
Current children cumulated memory: 970600 KiB
[startup+1242.3 s]
/proc/loadavg: 4.04 4.07 4.03 5/265 42323
/proc/meminfo: memFree=121355724/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1028140 memory=975720 CPUtime=1238.41 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 185849 0 0 0 123797 44 0 0 20 0 1 0 45980068 1052815360 243930 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 257035 243930 3840 2790 0 250460 0
Current children cumulated CPU time: 1238.41 s
Current children cumulated vsize: 1028140 KiB
Current children cumulated memory: 975720 KiB
[startup+1302.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 42325
/proc/meminfo: memFree=121391920/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1044132 memory=984132 CPUtime=1298.23 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 187458 0 0 0 129778 45 0 0 20 0 1 0 45980068 1069191168 246033 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 261033 246033 3840 2790 0 254458 0
Current children cumulated CPU time: 1298.23 s
Current children cumulated vsize: 1044132 KiB
Current children cumulated memory: 984132 KiB
[startup+1356.95 s]
# the end of solver process 42251 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1352.24 s, system=0.47484 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1331.2 s]
/proc/loadavg: 4.07 4.08 4.04 5/265 42327
/proc/meminfo: memFree=121350896/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1076296 memory=993208 CPUtime=1327.03 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 188199 0 0 0 132658 45 0 0 20 0 1 0 45980068 1102127104 248302 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 269074 248302 3840 2790 0 262499 0
Current children cumulated CPU time: 1327.03 s
Current children cumulated vsize: 1076296 KiB
Current children cumulated memory: 993208 KiB
[startup+1344 s]*
/proc/loadavg: 4.13 4.09 4.04 5/265 42327
/proc/meminfo: memFree=121231144/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1076296 memory=993208 CPUtime=1339.79 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 188200 0 0 0 133934 45 0 0 20 0 1 0 45980068 1102127104 248302 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 269074 248302 3840 2790 0 262499 0
Current children cumulated CPU time: 1339.79 s
Current children cumulated vsize: 1076296 KiB
Current children cumulated memory: 993208 KiB
[startup+1350.4 s]
/proc/loadavg: 4.12 4.09 4.04 5/265 42327
/proc/meminfo: memFree=121202928/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1076296 memory=993208 CPUtime=1346.18 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 188200 0 0 0 134572 46 0 0 20 0 1 0 45980068 1102127104 248302 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 269074 248302 3840 2790 0 262499 0
Current children cumulated CPU time: 1346.18 s
Current children cumulated vsize: 1076296 KiB
Current children cumulated memory: 993208 KiB
[startup+1353.6 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 42327
/proc/meminfo: memFree=121040276/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1076296 memory=993208 CPUtime=1349.37 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 188200 0 0 0 134891 46 0 0 20 0 1 0 45980068 1102127104 248302 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 269074 248302 3840 2790 0 262499 0
Current children cumulated CPU time: 1349.37 s
Current children cumulated vsize: 1076296 KiB
Current children cumulated memory: 993208 KiB
[startup+1355.2 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 42327
/proc/meminfo: memFree=121024028/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1076296 memory=993208 CPUtime=1350.96 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 188200 0 0 0 135050 46 0 0 20 0 1 0 45980068 1102127104 248302 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 269074 248302 3840 2790 0 262499 0
Current children cumulated CPU time: 1350.96 s
Current children cumulated vsize: 1076296 KiB
Current children cumulated memory: 993208 KiB
[startup+1356 s]*
/proc/loadavg: 4.11 4.09 4.04 5/265 42327
/proc/meminfo: memFree=121026620/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1076296 memory=993208 CPUtime=1351.77 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 188200 0 0 0 135131 46 0 0 20 0 1 0 45980068 1102127104 248302 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 269074 248302 3840 2790 0 262499 0
Current children cumulated CPU time: 1351.77 s
Current children cumulated vsize: 1076296 KiB
Current children cumulated memory: 993208 KiB
[startup+1356.4 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 42327
/proc/meminfo: memFree=121026620/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1076296 memory=993208 CPUtime=1352.16 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 188200 0 0 0 135170 46 0 0 20 0 1 0 45980068 1102127104 248302 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 269074 248302 3840 2790 0 262499 0
Current children cumulated CPU time: 1352.16 s
Current children cumulated vsize: 1076296 KiB
Current children cumulated memory: 993208 KiB
[startup+1356.8 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 42327
/proc/meminfo: memFree=121026620/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1076296 memory=993208 CPUtime=1352.56 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 188200 0 0 0 135210 46 0 0 20 0 1 0 45980068 1102127104 248302 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 269074 248302 3840 2790 0 262499 0
Current children cumulated CPU time: 1352.56 s
Current children cumulated vsize: 1076296 KiB
Current children cumulated memory: 993208 KiB
[startup+1356.9 s]
/proc/loadavg: 4.11 4.09 4.04 5/265 42327
/proc/meminfo: memFree=121026620/131250000 swapFree=33010684/33010684
[pid=42251] ppid=42245 vsize=1076296 memory=993208 CPUtime=1352.66 cores=4,6
/proc/42251/stat : 42251 (ipbhs_scip) R 42245 42251 42194 0 -1 4194304 188200 0 0 0 135220 46 0 0 20 0 1 0 45980068 1102127104 248302 18446744073709551615 94861627244544 94861638670941 140730627519984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94861640806616 94861640851634 94861657419776 140730627529106 140730627529225 140730627529225 140730627534827 0
/proc/42251/statm: 269074 248302 3840 2790 0 262499 0
Current children cumulated CPU time: 1352.66 s
Current children cumulated vsize: 1076296 KiB
Current children cumulated memory: 993208 KiB
Child status: 0
Real time (s): 1356.95
CPU time (s): 1352.72
CPU user time (s): 1352.24
CPU system time (s): 0.47484
CPU usage (%): 99.688
Max. virtual memory (cumulated for all children) (KiB): 1076296
Max. memory (cumulated for all children) (KiB): 993208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1352.24
system time used= 0.47484
maximum resident set size= 993208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188209
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= 175
involuntary context switches= 1316
# summary of solver processes directly reported to runsolver:
# pid: 42251
# total CPU time (s): 1352.72
# total CPU user time (s): 1352.24
# total CPU system time (s): 0.47484
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.55094 second user time and 5.97717 second system time
The end
Begin job on nodeC014 at 2025-06-30 19:03:54
IDJOB=4485122
IDBENCH=146694
IDSOLVER=3335
FILE ID=nodeC014/4485122-1751303034
RUNJOBID= nodeC014-1751303034-42205
SLURM_JOB_ID= 9594289
Free space on /tmp= 433008 MiB
SOLVER NAME= IPBHS-SCIP 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
COMMAND LINE= ./ipbhs_scip BENCHNAME --optimizer scip --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485122-1751303034/watcher-4485122-1751303034 -o /tmp/evaluation-result-4485122-1751303034/solver-4485122-1751303034 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751303034-42205 --watchdog 3760 ./ipbhs_scip HOME/instance-4485122-1751303034.opb --optimizer scip --max-coef 1000000000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 42524e858f098b79daaad844b6e2f59d
RANDOM SEED=350732860
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 : 3599.538
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 : 3700.000
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.116
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.123
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 : 3700.000
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.151
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.127
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.109
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: 128938984 kB
MemAvailable: 129758548 kB
Buffers: 3280 kB
Cached: 1624396 kB
SwapCached: 0 kB
Active: 334240 kB
Inactive: 1368344 kB
Active(anon): 92976 kB
Inactive(anon): 0 kB
Active(file): 241264 kB
Inactive(file): 1368344 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 280732 kB
Writeback: 4 kB
AnonPages: 78008 kB
Mapped: 103456 kB
Shmem: 18068 kB
KReclaimable: 98388 kB
Slab: 186588 kB
SReclaimable: 98388 kB
SUnreclaim: 88200 kB
KernelStack: 4008 kB
PageTables: 2440 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 339924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432736 MiB
End job on nodeC014 at 2025-06-30 19:26:32