0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 25862144, getVmSize() = 25862144, SCIPgetMemUsed() = 3143844, SCIPgetMemTotal() = 4296620, SCIPgetMemExternEstim() = 1502541
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.21/0.30 c ** Estimated virtualMemUsedAtSolver = 19734528, getVmSize() = 33341440, SCIPgetMemUsed() = 4924884, SCIPgetMemTotal() = 10350436, SCIPgetMemExternEstim() = 1502541
0.21/0.30 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.21/0.30 c Original Problem :
0.21/0.30 c Problem name : instance-4434727-1721056062
0.21/0.30 c Variables : 776 (776 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.30 c Constraints : 867
0.21/0.30 c Objective sense : minimize
0.21/0.30 c Presolved Problem :
0.21/0.30 c Variables : 771 (771 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.30 c Constraints : 858
0.21/0.30 c Constraints : Number
0.21/0.30 c knapsack : 145
0.21/0.30 c setppc : 710
0.21/0.30 c logicor : 3
0.21/0.30 c ** Instance transfer method used: 0
0.21/0.31 c ** ParaScipInstance copy does not increase the number of variables. **
0.21/0.32 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.21/0.32 c Nodes Active
0.21/0.32 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.32/0.33 c * 0 0 1 1 1175.0000 - -
0.32/0.33 c * 0 0 1 1 1141.0000 - -
0.51/0.58 c * 1 0 1 1 69.0000 - -
0.51/0.60 c * 1 0 1 1 32.0000 - -
2.99/3.04 c * 3 0 1 1 0.0000 - -
2.99/3.04 c 3 1 0 0 0.0000 0.0000 0.00%
3.10/3.14 c 3 1 0 0 0.0000 0.0000 -
3.10/3.14 c SCIP Status : c problem is solved
3.10/3.14 c Total Time : 3.1300
3.10/3.14 c solving : 3.1300
3.10/3.14 c presolving : 0.2848 (included in solving)
3.10/3.14 c B&B Tree :
3.10/3.14 c nodes (total) : 1
3.10/3.14 c Solution :
3.10/3.14 c Solutions found : 6
3.10/3.14 c Primal Bound : +0.00000000000000e+00
3.10/3.14 c Dual Bound : +0.00000000000000e+00
3.10/3.14 c Gap : 0.00000 %
3.10/3.14 o 0
3.10/3.14 s OPTIMUM FOUND
3.10/3.14 v x1 x776 x585 x672 x579 x580 x775 x340 x545 -x315 x509 x544 x339 x586 x311 x676 x310 x584 x671 x552 -x669 x553 x581 -x316 x506 -x113
3.10/3.14 v -x314 x508 x549 -x112 x341 x505 x542 x342 x543 x587 x679 -x551 x312 -x550 x582 x675 -x723 x313 x317 x507 -x670 x298 -x548
3.10/3.14 v x726 -x114 x504 x727 x115 x338 -x130 x611 -x234 x607 -x541 x537 -x357 x692 -x358 x532 -x680 -x533 x684 -x483 -x583 x673 -x722
3.10/3.14 v x309 x724 x297 -x546 x728 x295 -x335 x337 -x502 x111 -x129 x610 x233 -x479 x606 x360 -x540 x689 x359 -x478 x536 -x572 x691
3.10/3.14 v -x134 -x237 -x238 x688 x484 -x211 x482 x683 x575 -x576 x774 x677 -x773 x306 x308 -x674 x214 -x215 x305 x725 x772 x301 -x336
3.10/3.14 v -x547 x709 x108 x708 x110 -x296 -x503 -x131 x326 x608 -x80 x235 -x604 -x662 -x690 x135 x240 -x538 -x641 -x133 x239 x346 -x378
3.10/3.14 v -x480 x534 -x571 -x642 x345 x481 x485 x573 x687 -x746 -x84 x464 x578 -x665 -x210 x577 -x666 -x681 -x381 -x529 -x212 x307 -x382
3.10/3.14 v -x678 x217 -x292 x749 x216 -x750 -x190 x720 x304 x721 x717 x109 x299 -x713 -x458 x706 -x260 -x707 -x63 x107 x333 -x769 x132
3.10/3.14 v x325 -x356 -x609 x644 -x79 x136 x236 -x355 -x525 -x605 -x643 -x661 -x119 x222 x354 -x539 -x31 x221 -x288 x350 -x377 -x524 -x535
3.10/3.14 v -x663 x85 -x220 -x330 x477 x668 -x83 -x186 -x287 -x343 -x379 x465 x574 -x667 -x685 x745 -x344 -x384 -x469 -x530 x558 -x185
3.10/3.14 v -x383 -x414 x463 -x528 x557 -x682 x747 -x34 -x102 -x293 x461 x556 x752 -x35 x213 -x291 -x454 x751 -x152 -x191 x197 -x719 -x189
3.10/3.14 v x196 -x256 -x453 x718 x195 -x417 -x436 -x255 x302 -x418 -x765 x459 -x627 x716 x270 -x300 x457 -x712 -x764 x261 x259 x269
3.10/3.14 v -x770 -x62 x105 -x334 -x601 x703 -x768 -x128 -x232 x327 x634 -x81 -x98 x120 x231 -x633 x82 -x124 x230 x331 -x353 -x474 -x632
3.10/3.14 v -x30 x86 -x97 -x118 -x148 -x164 x226 x329 -x349 -x476 -x526 -x664 -x69 -x116 -x527 -x569 x649 x32 -x147 -x218 -x289 -x380 -x394
3.10/3.14 v -x432 -x473 x531 -x570 x648 -x686 x37 -x103 -x219 -x290 x365 -x513 -x566 -x647 -x11 x36 -x101 -x187 x294 -x364 -x413 -x431
3.10/3.14 v -x468 -x562 -x623 x748 -x153 -x167 -x188 -x208 x276 -x363 x733 -x151 -x168 -x192 x209 -x415 -x462 x554 -x622 x732 -x174 x205
3.10/3.14 v -x397 -x420 -x437 x555 x731 x201 -x398 -x419 -x435 x455 -x495 -x14 x456 x628 -x15 -x46 -x193 x257 -x303 x460 -x597 x626 -x194
3.10/3.14 v x258 x442 -x714 -x59 x262 -x596 -x699 -x710 x766 -x244 -x498 x767 -x58 x271 -x499 x771 -x49 x272 x602 -x753 -x50 -x64 x106
3.10/3.14 v -x600 x702 x328 x639 -x127 x332 -x475 x638 x78 -x229 -x321 -x351 -x568 -x659 x70 -x99 -x123 -x163 x225 -x347 -x567 -x630 x660
3.10/3.14 v x73 x100 -x375 -x523 -x631 x656 x33 -x68 -x104 -x117 -x149 -x165 x376 -x393 -x472 x514 -x653 x22 -x66 -x90 -x150 -x170 -x207
3.10/3.14 v x286 -x372 -x517 -x565 -x743 -x10 -x21 -x154 -x169 -x206 x277 -x369 -x395 -x433 -x466 -x512 -x561 -x645 x744 -x20 -x140 -x184
3.10/3.14 v -x280 x400 x434 -x510 -x646 -x740 -x12 -x175 -x275 -x361 x399 -x416 x438 -x624 x737 -x17 -x178 -x204 -x273 -x362 x405 -x424
3.10/3.14 v x625 -x16 -x173 -x200 x404 -x494 x629 -x729 -x171 -x403 x452 -x615 -x730 x45 x443 x496 -x254 -x446 x501 -x715 x47 x245 -x441
3.10/3.14 v -x500 x598 -x698 -x711 x52 -x248 -x439 x599 x763 x51 -x60 -x243 x603 -x700 x755 -x61 -x241 x268 -x588 x705 x756 x65 x704 -x754
3.10/3.14 v x77 -x126 -x228 x324 x640 -x658 x76 -x94 -x125 x322 -x521 x637 -x657 -x27 -x75 -x93 x162 -x227 x323 -x352 -x374 -x520 -x655
3.10/3.14 v -x26 -x74 -x95 -x121 -x144 x161 -x223 -x284 -x320 -x348 -x373 -x522 x635 -x28 -x96 -x143 x160 -x283 -x318 -x371 -x392 -x471
3.10/3.14 v -x519 -x564 -x636 x654 -x742 -x29 x71 x91 -x122 -x145 x166 -x182 -x224 -x285 -x319 -x391 -x428 -x470 -x518 -x652 -x741 -x9
3.10/3.14 v -x25 -x72 -x92 -x146 x159 -x181 x282 -x370 -x390 x410 -x427 -x563 -x739 -x8 -x23 -x67 -x89 x141 -x158 -x183 x281 -x368 -x396
3.10/3.14 v x409 -x429 -x467 -x515 -x559 -x619 -x650 -x7 -x24 -x87 -x142 -x157 -x180 -x203 x389 x411 x430 -x516 -x618 -x651 -x738 -x13 -x18
3.10/3.14 v -x88 -x139 -x155 -x179 -x278 -x366 x388 x412 x425 -x450 -x511 -x560 -x620 -x736 x6 -x19 -x137 -x156 -x202 -x279 -x367 x387
3.10/3.14 v -x408 x426 -x449 -x493 -x621 x5 -x138 -x176 -x198 -x252 -x274 x385 -x406 -x423 -x451 -x492 x616 -x734 -x4 -x44 -x177 -x251 x386
3.10/3.14 v -x407 -x421 -x448 x491 x617 -x735 -x2 x43 -x172 -x199 -x253 -x401 -x422 x447 x497 -x593 -x614 -x761 -x3 x42 -x250 -x402 x490
3.10/3.14 v x592 -x612 -x697 -x760 x48 -x54 -x249 -x266 -x444 x489 x594 -x613 -x696 -x762 x41 -x53 -x265 -x445 -x488 x595 x695 -x759
3.10/3.14 v x40 -x55 -x246 -x267 -x440 -x486 x590 -x701 x758 -x38 x56 -x247 x264 -x487 -x591 x693 -x39 x57 -x242 x263 -x589 x694 -x757
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: 64059 MiB (62414 MiB free)
memory of node 1: 64510 MiB (63358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434727-1721056062/watcher-4434727-1721056062 -o /tmp/evaluation-result-4434727-1721056062/solver-4434727-1721056062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721056075-800073 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434727-1721056062.opb -qsol -t 3600 -sth 1
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
solver pid=800135, runsolver pid=800123
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 1.37 2.41 2.89 8/246 800139
/proc/meminfo: memFree=128743828/131655788 swapFree=131071996/131071996
[pid=800135] ppid=800123 vsize=29960 memory=20140 CPUtime=0.1 cores=4,6
/proc/800135/stat : 800135 (fscip) R 800123 800135 795049 0 -1 4194304 2541 0 0 0 10 0 0 0 20 0 1 0 157762933 30679040 5035 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
/proc/800135/statm: 7490 5035 2750 3032 0 3890 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29960 KiB
Current children cumulated memory: 20140 KiB
[startup+0.2162 s]*
/proc/loadavg: 1.37 2.41 2.89 7/248 800141
/proc/meminfo: memFree=128706600/131655788 swapFree=131071996/131071996
[pid=800135] ppid=800123 vsize=30356 memory=20404 CPUtime=0.21 cores=4,6
/proc/800135/stat : 800135 (fscip) R 800123 800135 795049 0 -1 4194304 2627 0 0 0 21 0 0 0 20 0 1 0 157762933 31084544 5101 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
/proc/800135/statm: 7589 5101 2750 3032 0 3989 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30356 KiB
Current children cumulated memory: 20404 KiB
[startup+0.322436 s]*
/proc/loadavg: 1.37 2.41 2.89 10/250 800143
/proc/meminfo: memFree=128685784/131655788 swapFree=131071996/131071996
[pid=800135] ppid=800123 vsize=117044 memory=29552 CPUtime=0.32 cores=4,6
/proc/800135/stat : 800135 (fscip) R 800123 800135 795049 0 -1 1077936128 4877 0 0 0 31 1 0 0 20 0 3 0 157762933 119853056 7388 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
/proc/800135/statm: 29261 7388 2798 3032 0 11006 0
[pid=800135/tid=800142] ppid=800123 vsize=117044 memory=-8960871798012224188 CPUtime=0.01 cores=4,6
/proc/800135/task/800142/stat : 800142 (fscip) R 800123 800135 795049 0 -1 4194368 1460 0 0 0 1 0 0 0 20 0 3 0 157762964 119853056 7388 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
[pid=800135/tid=800143] ppid=800123 vsize=117044 memory=0 CPUtime=0 cores=4,6
/proc/800135/task/800143/stat : 800143 (fscip) R 800123 800135 795049 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 3 0 157762966 119853056 7388 134679101440 4194304 16613245 140723766162736 0 0 0 2147221247 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 117044 KiB
Current children cumulated memory: 29552 KiB
[startup+0.700343 s]
/proc/loadavg: 1.37 2.41 2.89 8/252 800145
/proc/meminfo: memFree=128653396/131655788 swapFree=131071996/131071996
[pid=800135] ppid=800123 vsize=118924 memory=36560 CPUtime=0.68 cores=4,6
/proc/800135/stat : 800135 (fscip) S 800123 800135 795049 0 -1 1077936128 6557 0 0 0 67 1 0 0 20 0 3 0 157762933 121778176 9140 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
/proc/800135/statm: 29731 9140 2910 3032 0 12771 0
[pid=800135/tid=800142] ppid=800123 vsize=118924 memory=5620 CPUtime=0.37 cores=4,6
/proc/800135/task/800142/stat : 800142 (fscip) R 800123 800135 795049 0 -1 4194368 3138 0 0 0 37 0 0 0 20 0 3 0 157762964 121778176 9140 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
[pid=800135/tid=800143] ppid=800123 vsize=118924 memory=385 CPUtime=0 cores=4,6
/proc/800135/task/800143/stat : 800143 (fscip) S 800123 800135 795049 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 157762966 121778176 9140 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118924 KiB
Current children cumulated memory: 36560 KiB
[startup+1.50036 s]
/proc/loadavg: 1.37 2.41 2.89 7/252 800145
/proc/meminfo: memFree=128621880/131655788 swapFree=131071996/131071996
[pid=800135] ppid=800123 vsize=125072 memory=65064 CPUtime=1.48 cores=4,6
/proc/800135/stat : 800135 (fscip) S 800123 800135 795049 0 -1 1077936128 16178 0 0 0 145 3 0 0 20 0 3 0 157762933 128073728 16266 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
/proc/800135/statm: 31268 16266 2910 3032 0 19907 0
[pid=800135/tid=800142] ppid=800123 vsize=125072 memory=0 CPUtime=1.17 cores=4,6
/proc/800135/task/800142/stat : 800142 (fscip) R 800123 800135 795049 0 -1 4194368 12753 0 0 0 115 2 0 0 20 0 3 0 157762964 128073728 16266 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
[pid=800135/tid=800143] ppid=800123 vsize=125072 memory=5620 CPUtime=0 cores=4,6
/proc/800135/task/800143/stat : 800143 (fscip) S 800123 800135 795049 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157762966 128073728 16266 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125072 KiB
Current children cumulated memory: 65064 KiB
[startup+3.11357 s]
/proc/loadavg: 1.58 2.43 2.90 7/254 800195
/proc/meminfo: memFree=128334344/131655788 swapFree=131071996/131071996
[pid=800135] ppid=800123 vsize=163796 memory=119548 CPUtime=3.1 cores=4,6
/proc/800135/stat : 800135 (fscip) S 800123 800135 795049 0 -1 1077936128 32021 0 0 0 305 5 0 0 20 0 3 0 157762933 167727104 29887 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
/proc/800135/statm: 40949 29887 2958 3032 0 33908 0
[pid=800135/tid=800142] ppid=800123 vsize=163796 memory=-6586915151144991593 CPUtime=2.77 cores=4,6
/proc/800135/task/800142/stat : 800142 (fscip) R 800123 800135 795049 0 -1 4194368 28397 0 0 0 274 3 0 0 20 0 3 0 157762964 167727104 29887 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
[pid=800135/tid=800143] ppid=800123 vsize=163796 memory=164 CPUtime=0 cores=4,6
/proc/800135/task/800143/stat : 800143 (fscip) S 800123 800135 795049 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157762966 167727104 29887 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 163796 KiB
Current children cumulated memory: 119548 KiB
[startup+3.1448 s]
# the end of solver process 800135 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3.07141 s, system=0.062589 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.11357 s]
/proc/loadavg: 1.58 2.43 2.90 7/254 800195
/proc/meminfo: memFree=128334344/131655788 swapFree=131071996/131071996
[pid=800135] ppid=800123 vsize=163796 memory=119548 CPUtime=3.1 cores=4,6
/proc/800135/stat : 800135 (fscip) S 800123 800135 795049 0 -1 1077936128 32021 0 0 0 305 5 0 0 20 0 3 0 157762933 167727104 29887 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
/proc/800135/statm: 40949 29887 2958 3032 0 33908 0
[pid=800135/tid=800142] ppid=800123 vsize=163796 memory=-6586915151144991593 CPUtime=2.77 cores=4,6
/proc/800135/task/800142/stat : 800142 (fscip) R 800123 800135 795049 0 -1 4194368 28397 0 0 0 274 3 0 0 20 0 3 0 157762964 167727104 29887 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
[pid=800135/tid=800143] ppid=800123 vsize=163796 memory=164 CPUtime=0 cores=4,6
/proc/800135/task/800143/stat : 800143 (fscip) S 800123 800135 795049 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157762966 167727104 29887 134679101440 4194304 16613245 140723766162736 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45191168 140723766166549 140723766166665 140723766166665 140723766173680 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 163796 KiB
Current children cumulated memory: 119548 KiB
Child status: 0
Real time (s): 3.14486
CPU time (s): 3.134
CPU user time (s): 3.07141
CPU system time (s): 0.062589
CPU usage (%): 99.6546
Max. virtual memory (cumulated for all children) (KiB): 163796
Max. memory (cumulated for all children) (KiB): 119548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.07141
system time used= 0.062589
maximum resident set size= 119548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34513
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= 18
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 800135
# total CPU time (s): 3.134
# total CPU user time (s): 3.07141
# total CPU system time (s): 0.062589
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044251 second user time and 0.106715 second system time
The end
Begin job on nodeC007 at 2024-07-15 17:07:55
IDJOB=4434727
IDBENCH=146660
IDSOLVER=3064
FILE ID=nodeC007/4434727-1721056062
RUNJOBID= nodeC007-1721056075-800073
SLURM_JOB_ID= 7505467
Free space on /tmp= 723784 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434727-1721056062/watcher-4434727-1721056062 -o /tmp/evaluation-result-4434727-1721056062/solver-4434727-1721056062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721056075-800073 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434727-1721056062.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7cbd9242490819e58478720045b90b69
RANDOM SEED=126758037
nodeC007.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 : 0xb00001f
cpu MHz : 1271.950
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.134
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.134
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.135
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1190.479
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.669
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1202.321
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128793172 kB
MemAvailable: 129945388 kB
Buffers: 367724 kB
Cached: 1617200 kB
SwapCached: 0 kB
Active: 611576 kB
Inactive: 1709096 kB
Active(anon): 1348 kB
Inactive(anon): 372104 kB
Active(file): 610228 kB
Inactive(file): 1336992 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113468 kB
Writeback: 12 kB
AnonPages: 335720 kB
Mapped: 103200 kB
Shmem: 37704 kB
KReclaimable: 90052 kB
Slab: 185624 kB
SReclaimable: 90052 kB
SUnreclaim: 95572 kB
KernelStack: 3664 kB
PageTables: 9332 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 741484 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC007 at 2024-07-15 17:07:59