0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0 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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 25878528, getVmSize() = 25878528, SCIPgetMemUsed() = 3143924, SCIPgetMemTotal() = 4296620, SCIPgetMemExternEstim() = 1502541
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.09/0.10 c ** Estimated virtualMemUsedAtSolver = 19749546, getVmSize() = 33370112, SCIPgetMemUsed() = 4924964, SCIPgetMemTotal() = 10350436, SCIPgetMemExternEstim() = 1502541
0.09/0.10 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.10 c Original Problem :
0.09/0.10 c Problem name : instance-4464059-1722378594
0.09/0.10 c Variables : 776 (776 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.10 c Constraints : 867
0.09/0.10 c Objective sense : minimize
0.09/0.10 c Presolved Problem :
0.09/0.10 c Variables : 771 (771 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.10 c Constraints : 858
0.09/0.10 c Constraints : Number
0.09/0.10 c knapsack : 145
0.09/0.10 c setppc : 710
0.09/0.10 c logicor : 3
0.09/0.10 c ** Instance transfer method used: 0
0.09/0.11 c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.11 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.11 c Nodes Active
0.09/0.11 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.09/0.11 c * 0 0 1 1 1175.0000 - -
0.09/0.11 c * 0 0 1 1 1141.0000 - -
0.19/0.22 c * 0 0 1 1 69.0000 - -
0.19/0.23 c * 0 0 1 1 32.0000 - -
1.98/2.09 c * 2 0 1 1 0.0000 - -
1.98/2.10 c 2 1 0 0 0.0000 0.0000 0.00%
2.08/2.17 c 2 1 0 0 0.0000 0.0000 -
2.08/2.17 c SCIP Status : c problem is solved
2.08/2.17 c Total Time : 2.1700
2.08/2.17 c solving : 2.1700
2.08/2.17 c presolving : 0.1027 (included in solving)
2.08/2.17 c B&B Tree :
2.08/2.17 c nodes (total) : 1
2.08/2.17 c Solution :
2.08/2.17 c Solutions found : 6
2.08/2.17 c Primal Bound : +0.00000000000000e+00
2.08/2.17 c Dual Bound : +0.00000000000000e+00
2.08/2.17 c Gap : 0.00000 %
2.08/2.17 o 0
2.08/2.17 s OPTIMUM FOUND
2.08/2.17 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
2.08/2.17 v -x314 x508 x549 -x112 x341 x505 x542 x342 x543 x587 x679 -x551 x312 -x550 x582 x675 -x723 x313 x317 x507 -x670 x298 -x548
2.08/2.17 v x726 -x114 x504 x727 x115 x338 -x130 x611 -x234 x607 -x541 x537 -x357 x692 -x358 x532 -x680 -x533 x684 -x483 -x583 x673 -x722
2.08/2.17 v x309 x724 x297 -x546 x728 x295 -x335 x337 -x502 x111 -x129 x610 x233 -x479 x606 x360 -x540 x689 x359 -x478 x536 -x572 x691
2.08/2.17 v -x134 -x237 -x238 x688 x484 -x211 x482 x683 x575 -x576 x774 x677 -x773 x306 x308 -x674 x214 -x215 x305 x725 x772 x301 -x336
2.08/2.17 v -x547 x709 x108 x708 x110 -x296 -x503 -x131 x326 x608 -x80 x235 -x604 -x662 -x690 x135 x240 -x538 -x641 -x133 x239 x346 -x378
2.08/2.17 v -x480 x534 -x571 -x642 x345 x481 x485 x573 x687 -x746 -x84 x464 x578 -x665 -x210 x577 -x666 -x681 -x381 -x529 -x212 x307 -x382
2.08/2.17 v -x678 x217 -x292 x749 x216 -x750 -x190 x720 x304 x721 x717 x109 x299 -x713 -x458 x706 -x260 -x707 -x63 x107 x333 -x769 x132
2.08/2.17 v x325 -x356 -x609 x644 -x79 x136 x236 -x355 -x525 -x605 -x643 -x661 -x119 x222 x354 -x539 -x31 x221 -x288 x350 -x377 -x524 -x535
2.08/2.17 v -x663 x85 -x220 -x330 x477 x668 -x83 -x186 -x287 -x343 -x379 x465 x574 -x667 -x685 x745 -x344 -x384 -x469 -x530 x558 -x185
2.08/2.17 v -x383 -x414 x463 -x528 x557 -x682 x747 -x34 -x102 -x293 x461 x556 x752 -x35 x213 -x291 -x454 x751 -x152 -x191 x197 -x719 -x189
2.08/2.17 v x196 -x256 -x453 x718 x195 -x417 -x436 -x255 x302 -x418 -x765 x459 -x627 x716 x270 -x300 x457 -x712 -x764 x261 x259 x269
2.08/2.17 v -x770 -x62 x105 -x334 -x601 x703 -x768 -x128 -x232 x327 x634 -x81 -x98 x120 x231 -x633 x82 -x124 x230 x331 -x353 -x474 -x632
2.08/2.17 v -x30 x86 -x97 -x118 -x148 -x164 x226 x329 -x349 -x476 -x526 -x664 -x69 -x116 -x527 -x569 x649 x32 -x147 -x218 -x289 -x380 -x394
2.08/2.17 v -x432 -x473 x531 -x570 x648 -x686 x37 -x103 -x219 -x290 x365 -x513 -x566 -x647 -x11 x36 -x101 -x187 x294 -x364 -x413 -x431
2.08/2.17 v -x468 -x562 -x623 x748 -x153 -x167 -x188 -x208 x276 -x363 x733 -x151 -x168 -x192 x209 -x415 -x462 x554 -x622 x732 -x174 x205
2.08/2.17 v -x397 -x420 -x437 x555 x731 x201 -x398 -x419 -x435 x455 -x495 -x14 x456 x628 -x15 -x46 -x193 x257 -x303 x460 -x597 x626 -x194
2.08/2.17 v x258 x442 -x714 -x59 x262 -x596 -x699 -x710 x766 -x244 -x498 x767 -x58 x271 -x499 x771 -x49 x272 x602 -x753 -x50 -x64 x106
2.08/2.17 v -x600 x702 x328 x639 -x127 x332 -x475 x638 x78 -x229 -x321 -x351 -x568 -x659 x70 -x99 -x123 -x163 x225 -x347 -x567 -x630 x660
2.08/2.17 v x73 x100 -x375 -x523 -x631 x656 x33 -x68 -x104 -x117 -x149 -x165 x376 -x393 -x472 x514 -x653 x22 -x66 -x90 -x150 -x170 -x207
2.08/2.17 v x286 -x372 -x517 -x565 -x743 -x10 -x21 -x154 -x169 -x206 x277 -x369 -x395 -x433 -x466 -x512 -x561 -x645 x744 -x20 -x140 -x184
2.08/2.17 v -x280 x400 x434 -x510 -x646 -x740 -x12 -x175 -x275 -x361 x399 -x416 x438 -x624 x737 -x17 -x178 -x204 -x273 -x362 x405 -x424
2.08/2.17 v x625 -x16 -x173 -x200 x404 -x494 x629 -x729 -x171 -x403 x452 -x615 -x730 x45 x443 x496 -x254 -x446 x501 -x715 x47 x245 -x441
2.08/2.17 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
2.08/2.17 v x77 -x126 -x228 x324 x640 -x658 x76 -x94 -x125 x322 -x521 x637 -x657 -x27 -x75 -x93 x162 -x227 x323 -x352 -x374 -x520 -x655
2.08/2.17 v -x26 -x74 -x95 -x121 -x144 x161 -x223 -x284 -x320 -x348 -x373 -x522 x635 -x28 -x96 -x143 x160 -x283 -x318 -x371 -x392 -x471
2.08/2.17 v -x519 -x564 -x636 x654 -x742 -x29 x71 x91 -x122 -x145 x166 -x182 -x224 -x285 -x319 -x391 -x428 -x470 -x518 -x652 -x741 -x9
2.08/2.17 v -x25 -x72 -x92 -x146 x159 -x181 x282 -x370 -x390 x410 -x427 -x563 -x739 -x8 -x23 -x67 -x89 x141 -x158 -x183 x281 -x368 -x396
2.08/2.17 v x409 -x429 -x467 -x515 -x559 -x619 -x650 -x7 -x24 -x87 -x142 -x157 -x180 -x203 x389 x411 x430 -x516 -x618 -x651 -x738 -x13 -x18
2.08/2.17 v -x88 -x139 -x155 -x179 -x278 -x366 x388 x412 x425 -x450 -x511 -x560 -x620 -x736 x6 -x19 -x137 -x156 -x202 -x279 -x367 x387
2.08/2.17 v -x408 x426 -x449 -x493 -x621 x5 -x138 -x176 -x198 -x252 -x274 x385 -x406 -x423 -x451 -x492 x616 -x734 -x4 -x44 -x177 -x251 x386
2.08/2.17 v -x407 -x421 -x448 x491 x617 -x735 -x2 x43 -x172 -x199 -x253 -x401 -x422 x447 x497 -x593 -x614 -x761 -x3 x42 -x250 -x402 x490
2.08/2.17 v x592 -x612 -x697 -x760 x48 -x54 -x249 -x266 -x444 x489 x594 -x613 -x696 -x762 x41 -x53 -x265 -x445 -x488 x595 x695 -x759
2.08/2.17 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: 63931 MiB (62517 MiB free)
memory of node 1: 64510 MiB (63940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464059-1722378594/watcher-4464059-1722378594 -o /tmp/evaluation-result-4464059-1722378594/solver-4464059-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29596 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464059-1722378594.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=29629, runsolver pid=29626
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 0.08 0.09 0.09 4/241 29637
/proc/meminfo: memFree=129473248/131524600 swapFree=131071996/131071996
[pid=29629] ppid=29626 vsize=30380 memory=20500 CPUtime=0.09 cores=1,3
/proc/29629/stat : 29629 (fscip) R 29626 29629 29584 0 -1 4194304 2630 0 0 0 9 0 0 0 20 0 1 0 4458687 31109120 5125 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
/proc/29629/statm: 7595 5125 2774 3035 0 3991 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30380 KiB
Current children cumulated memory: 20500 KiB
[startup+0.205932 s]*
/proc/loadavg: 0.08 0.09 0.09 4/252 29664
/proc/meminfo: memFree=129411748/131524600 swapFree=131071996/131071996
[pid=29629] ppid=29626 vsize=118944 memory=33020 CPUtime=0.19 cores=1,3
/proc/29629/stat : 29629 (fscip) S 29626 29629 29584 0 -1 1077936128 5729 0 0 0 19 0 0 0 20 0 3 0 4458687 121798656 8255 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
/proc/29629/statm: 29736 8255 2806 3035 0 11857 0
[pid=29629/tid=29644] ppid=29626 vsize=118944 memory=664954323740917879 CPUtime=0.08 cores=1,3
/proc/29629/task/29644/stat : 29644 (fscip) R 29626 29629 29584 0 -1 4194368 2312 0 0 0 8 0 0 0 20 0 3 0 4458698 121798656 8255 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
[pid=29629/tid=29647] ppid=29626 vsize=118944 memory=3698 CPUtime=0 cores=1,3
/proc/29629/task/29647/stat : 29647 (fscip) S 29626 29629 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458699 121798656 8255 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118944 KiB
Current children cumulated memory: 33020 KiB
[startup+0.305763 s]*
/proc/loadavg: 0.08 0.09 0.09 4/257 29672
/proc/meminfo: memFree=129381008/131524600 swapFree=131071996/131071996
[pid=29629] ppid=29626 vsize=118944 memory=36720 CPUtime=0.3 cores=1,3
/proc/29629/stat : 29629 (fscip) S 29626 29629 29584 0 -1 1077936128 6558 0 0 0 29 1 0 0 20 0 3 0 4458687 121798656 9180 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
/proc/29629/statm: 29736 9180 2950 3035 0 12771 0
[pid=29629/tid=29644] ppid=29626 vsize=118944 memory=-7233744742583984506 CPUtime=0.18 cores=1,3
/proc/29629/task/29644/stat : 29644 (fscip) R 29626 29629 29584 0 -1 4194368 3141 0 0 0 18 0 0 0 20 0 3 0 4458698 121798656 9180 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
[pid=29629/tid=29647] ppid=29626 vsize=118944 memory=0 CPUtime=0 cores=1,3
/proc/29629/task/29647/stat : 29647 (fscip) S 29626 29629 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458699 121798656 9180 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118944 KiB
Current children cumulated memory: 36720 KiB
[startup+0.700245 s]
/proc/loadavg: 0.08 0.09 0.09 3/256 29694
/proc/meminfo: memFree=129330432/131524600 swapFree=131071996/131071996
[pid=29629] ppid=29626 vsize=123044 memory=60592 CPUtime=0.68 cores=1,3
/proc/29629/stat : 29629 (fscip) S 29626 29629 29584 0 -1 1077936128 12967 0 0 0 67 1 0 0 20 0 3 0 4458687 125997056 15148 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
/proc/29629/statm: 30761 15148 2950 3035 0 18757 0
[pid=29629/tid=29644] ppid=29626 vsize=123044 memory=0 CPUtime=0.57 cores=1,3
/proc/29629/task/29644/stat : 29644 (fscip) R 29626 29629 29584 0 -1 4194368 9550 0 0 0 56 1 0 0 20 0 3 0 4458698 125997056 15148 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
[pid=29629/tid=29647] ppid=29626 vsize=123044 memory=0 CPUtime=0 cores=1,3
/proc/29629/task/29647/stat : 29647 (fscip) S 29626 29629 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458699 125997056 15148 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123044 KiB
Current children cumulated memory: 60592 KiB
[startup+1.50021 s]
/proc/loadavg: 0.08 0.09 0.09 5/266 29762
/proc/meminfo: memFree=129248260/131524600 swapFree=131071996/131071996
[pid=29629] ppid=29626 vsize=150548 memory=100704 CPUtime=1.48 cores=1,3
/proc/29629/stat : 29629 (fscip) S 29626 29629 29584 0 -1 1077936128 30297 0 0 0 145 3 0 0 20 0 3 0 4458687 154161152 25176 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
/proc/29629/statm: 37637 25176 2950 3035 0 28993 0
[pid=29629/tid=29644] ppid=29626 vsize=150548 memory=0 CPUtime=1.37 cores=1,3
/proc/29629/task/29644/stat : 29644 (fscip) R 29626 29629 29584 0 -1 4194368 26880 0 0 0 134 3 0 0 20 0 3 0 4458698 154161152 25176 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
[pid=29629/tid=29647] ppid=29626 vsize=150548 memory=0 CPUtime=0 cores=1,3
/proc/29629/task/29647/stat : 29647 (fscip) S 29626 29629 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458699 154161152 25176 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 150548 KiB
Current children cumulated memory: 100704 KiB
[startup+2.1816 s]
# the end of solver process 29629 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2.11891 s, system=0.050844 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60023 s]
/proc/loadavg: 0.08 0.09 0.09 5/266 29762
/proc/meminfo: memFree=129248260/131524600 swapFree=131071996/131071996
[pid=29629] ppid=29626 vsize=150548 memory=101352 CPUtime=1.58 cores=1,3
/proc/29629/stat : 29629 (fscip) S 29626 29629 29584 0 -1 1077936128 30621 0 0 0 155 3 0 0 20 0 3 0 4458687 154161152 25338 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
/proc/29629/statm: 37637 25338 2950 3035 0 29103 0
[pid=29629/tid=29644] ppid=29626 vsize=150548 memory=11592 CPUtime=1.47 cores=1,3
/proc/29629/task/29644/stat : 29644 (fscip) R 29626 29629 29584 0 -1 4194368 27204 0 0 0 144 3 0 0 20 0 3 0 4458698 154161152 25338 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
[pid=29629/tid=29647] ppid=29626 vsize=150548 memory=-5155629106865597573 CPUtime=0 cores=1,3
/proc/29629/task/29647/stat : 29647 (fscip) S 29626 29629 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458699 154161152 25338 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 150548 KiB
Current children cumulated memory: 101352 KiB
[startup+2.00022 s]*
/proc/loadavg: 0.08 0.09 0.09 3/252 29778
/proc/meminfo: memFree=129225588/131524600 swapFree=131071996/131071996
[pid=29629] ppid=29626 vsize=161784 memory=115756 CPUtime=1.98 cores=1,3
/proc/29629/stat : 29629 (fscip) S 29626 29629 29584 0 -1 1077936128 34527 0 0 0 194 4 0 0 20 0 3 0 4458687 165666816 28939 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
/proc/29629/statm: 40446 28939 2950 3035 0 32833 0
[pid=29629/tid=29644] ppid=29626 vsize=161784 memory=-6000919489819272045 CPUtime=1.87 cores=1,3
/proc/29629/task/29644/stat : 29644 (fscip) R 29626 29629 29584 0 -1 4194368 31110 0 0 0 184 3 0 0 20 0 3 0 4458698 165666816 28939 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
[pid=29629/tid=29647] ppid=29626 vsize=161784 memory=4627851694025565325 CPUtime=0 cores=1,3
/proc/29629/task/29647/stat : 29647 (fscip) S 29626 29629 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458699 165666816 28939 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 161784 KiB
Current children cumulated memory: 115756 KiB
[startup+2.10535 s]
/proc/loadavg: 0.08 0.09 0.09 3/252 29778
/proc/meminfo: memFree=129225588/131524600 swapFree=131071996/131071996
[pid=29629] ppid=29626 vsize=163816 memory=119496 CPUtime=2.08 cores=1,3
/proc/29629/stat : 29629 (fscip) S 29626 29629 29584 0 -1 1077936128 35727 0 0 0 204 4 0 0 20 0 3 0 4458687 167747584 29874 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
/proc/29629/statm: 40954 29874 2998 3035 0 33856 0
[pid=29629/tid=29644] ppid=29626 vsize=163816 memory=0 CPUtime=1.96 cores=1,3
/proc/29629/task/29644/stat : 29644 (fscip) R 29626 29629 29584 0 -1 4194368 32099 0 0 0 193 3 0 0 20 0 3 0 4458698 167747584 29874 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
[pid=29629/tid=29647] ppid=29626 vsize=163816 memory=0 CPUtime=0 cores=1,3
/proc/29629/task/29647/stat : 29647 (fscip) S 29626 29629 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4458699 167747584 29874 134679101440 4194304 16623229 140731256097296 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45297664 140731256099862 140731256099978 140731256099978 140731256106992 0
Current children cumulated CPU time: 2.08 s
Current children cumulated vsize: 163816 KiB
Current children cumulated memory: 119496 KiB
Child status: 0
Real time (s): 2.18163
CPU time (s): 2.16975
CPU user time (s): 2.11891
CPU system time (s): 0.050844
CPU usage (%): 99.4554
Max. virtual memory (cumulated for all children) (KiB): 163816
Max. memory (cumulated for all children) (KiB): 119496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.11891
system time used= 0.050844
maximum resident set size= 119496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39769
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= 20
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 29629
# total CPU time (s): 2.16975
# total CPU user time (s): 2.11891
# total CPU system time (s): 0.050844
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015027 second user time and 0.036523 second system time
The end
Begin job on nodeC023 at 2024-07-31 00:29:54
IDJOB=4464059
IDBENCH=146660
IDSOLVER=3092
FILE ID=nodeC023/4464059-1722378594
RUNJOBID= nodeC023-1722378594-29596
SLURM_JOB_ID= 8249846
Free space on /tmp= 890056 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464059-1722378594/watcher-4464059-1722378594 -o /tmp/evaluation-result-4464059-1722378594/solver-4464059-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29596 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464059-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7cbd9242490819e58478720045b90b69
RANDOM SEED=1497379858
nodeC023.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 : 3440.043
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.61
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 : 3701.288
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 : 7006.53
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 : 3595.021
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.61
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 : 3697.737
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 : 7006.53
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 : 3185.487
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.61
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 : 3646.520
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 : 7006.53
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 : 2352.511
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.61
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 : 3687.975
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 : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129502156 kB
MemAvailable: 129836544 kB
Buffers: 90436 kB
Cached: 1080364 kB
SwapCached: 0 kB
Active: 258464 kB
Inactive: 1295180 kB
Active(anon): 1448 kB
Inactive(anon): 402728 kB
Active(file): 257016 kB
Inactive(file): 892452 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56604 kB
Writeback: 0 kB
AnonPages: 382384 kB
Mapped: 99156 kB
Shmem: 21336 kB
KReclaimable: 49136 kB
Slab: 128848 kB
SReclaimable: 49136 kB
SUnreclaim: 79712 kB
KernelStack: 3840 kB
PageTables: 9056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 690220 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9728 kB
HardwareCorrupted: 0 kB
AnonHugePages: 253952 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: 164564 kB
DirectMap2M: 10094592 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC023 at 2024-07-31 00:29:56