0.00/0.00 c NaPS 1.03.
0.00/0.00 c Input file name: HOME/instance-4434377-1721112935.opb
0.00/0.04 c single stage optimization mode
0.00/0.04 o 45008
2.09/2.18 s OPTIMUM FOUND
2.09/2.18 c _____________________________________________________________________________
2.09/2.18 c std/band forms : 104,48
2.09/2.18 c 2cl/3cl ITE-codings : 0,2820
2.09/2.18 c BDD/srt/adr Max costs : 213,547168,0
2.09/2.18 c BDDraw/bin/mul/srt/adr: 48,0,0,104,0
2.09/2.18 c BDD nodes : 4488
2.09/2.18 c Es1/CC detections : 0,0
2.09/2.18 c CC sort : 102
2.09/2.18 c SAT/UNSAT calls : 1,2
2.09/2.18 c regenrated variables : 0
2.09/2.18 c eliminated fixed lits : 0
2.09/2.18 c goal lit flips : 0
2.09/2.18 c goal stages : 1
2.09/2.18 c goal shrink : 0
2.09/2.18 c goal coeff separations: 88
2.09/2.18 c restarts : 5
2.09/2.18 c conflicts : 131 (63 /sec)
2.09/2.18 c decisions : 2068 (1000 /sec)
2.09/2.18 c propagations : 950489 (459456 /sec)
2.09/2.18 c inspects : 0 (0 /sec)
2.09/2.18 c CPU time (solving tm) : 2.069 s (0.1007 s, SAT 0.00164 s, UNSAT 0.09904 s)
2.09/2.18 c Time for Opt-base : 1.208 s
2.09/2.18 c Steps for Opt-base : 6619200
2.09/2.18 c Time for BDD coding : 0.0197 s
2.09/2.18 c Time for srt coding : 0.2317 s
2.09/2.18 c _____________________________________________________________________________
2.09/2.18 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848
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 (60363 MiB free)
memory of node 1: 64510 MiB (61962 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434377-1721112935/watcher-4434377-1721112935 -o /tmp/evaluation-result-4434377-1721112935/solver-4434377-1721112935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721109326-840862 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434377-1721112935.opb
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=843286, runsolver pid=843283
Current StackSize limit: 8192 KiB
[startup+0.100665 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 843291
/proc/meminfo: memFree=125256392/131524600 swapFree=131071996/131071996
[pid=843286] ppid=843283 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/843286/stat : 843286 (naps-1.03.sh) S 843283 843286 840689 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 163463229 10170368 688 134679101440 93963879596032 93963880675352 140725613498032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93963882773808 93963882820996 93963892400128 140725613499364 140725613499489 140725613499489 140725613506504 0
/proc/843286/statm: 2483 688 609 264 0 134 0
[pid=843291] ppid=843286 vsize=9248 memory=8320 CPUtime=0.1 cores=1,3
/proc/843291/stat : 843291 (naps-1.03) R 843286 843286 840689 0 -1 4194304 1639 0 0 0 10 0 0 0 20 0 1 0 163463229 9469952 2080 134679101440 4194304 6891213 140732781893648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15904768 140732781896693 140732781896805 140732781896805 140732781903819 0
/proc/843291/statm: 2312 2080 644 659 0 1516 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19180 KiB
Current children cumulated memory: 11072 KiB
[startup+0.205684 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 843291
/proc/meminfo: memFree=125256056/131524600 swapFree=131071996/131071996
[pid=843286] ppid=843283 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/843286/stat : 843286 (naps-1.03.sh) S 843283 843286 840689 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 163463229 10170368 688 134679101440 93963879596032 93963880675352 140725613498032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93963882773808 93963882820996 93963892400128 140725613499364 140725613499489 140725613499489 140725613506504 0
/proc/843286/statm: 2483 688 609 264 0 134 0
[pid=843291] ppid=843286 vsize=9248 memory=8320 CPUtime=0.2 cores=1,3
/proc/843291/stat : 843291 (naps-1.03) R 843286 843286 840689 0 -1 4194304 1657 0 0 0 20 0 0 0 20 0 1 0 163463229 9469952 2080 134679101440 4194304 6891213 140732781893648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15904768 140732781896693 140732781896805 140732781896805 140732781903819 0
/proc/843291/statm: 2312 2080 644 659 0 1516 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19180 KiB
Current children cumulated memory: 11072 KiB
[startup+0.305947 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 843291
/proc/meminfo: memFree=125256064/131524600 swapFree=131071996/131071996
[pid=843286] ppid=843283 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/843286/stat : 843286 (naps-1.03.sh) S 843283 843286 840689 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 163463229 10170368 688 134679101440 93963879596032 93963880675352 140725613498032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93963882773808 93963882820996 93963892400128 140725613499364 140725613499489 140725613499489 140725613506504 0
/proc/843286/statm: 2483 688 609 264 0 134 0
[pid=843291] ppid=843286 vsize=9388 memory=8320 CPUtime=0.3 cores=1,3
/proc/843291/stat : 843291 (naps-1.03) R 843286 843286 840689 0 -1 4194304 1674 0 0 0 30 0 0 0 20 0 1 0 163463229 9613312 2080 134679101440 4194304 6891213 140732781893648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15904768 140732781896693 140732781896805 140732781896805 140732781903819 0
/proc/843291/statm: 2347 2080 644 659 0 1551 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 19320 KiB
Current children cumulated memory: 11072 KiB
[startup+0.700289 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 843291
/proc/meminfo: memFree=125255620/131524600 swapFree=131071996/131071996
[pid=843286] ppid=843283 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/843286/stat : 843286 (naps-1.03.sh) S 843283 843286 840689 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 163463229 10170368 688 134679101440 93963879596032 93963880675352 140725613498032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93963882773808 93963882820996 93963892400128 140725613499364 140725613499489 140725613499489 140725613506504 0
/proc/843286/statm: 2483 688 609 264 0 134 0
[pid=843291] ppid=843286 vsize=9536 memory=8584 CPUtime=0.69 cores=1,3
/proc/843291/stat : 843291 (naps-1.03) R 843286 843286 840689 0 -1 4194304 1711 0 0 0 69 0 0 0 20 0 1 0 163463229 9764864 2146 134679101440 4194304 6891213 140732781893648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15904768 140732781896693 140732781896805 140732781896805 140732781903819 0
/proc/843291/statm: 2384 2146 644 659 0 1588 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 19468 KiB
Current children cumulated memory: 11336 KiB
[startup+1.50028 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 843291
/proc/meminfo: memFree=125255592/131524600 swapFree=131071996/131071996
[pid=843286] ppid=843283 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/843286/stat : 843286 (naps-1.03.sh) S 843283 843286 840689 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 163463229 10170368 688 134679101440 93963879596032 93963880675352 140725613498032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93963882773808 93963882820996 93963892400128 140725613499364 140725613499489 140725613499489 140725613506504 0
/proc/843286/statm: 2483 688 609 264 0 134 0
[pid=843291] ppid=843286 vsize=141220 memory=126852 CPUtime=1.48 cores=1,3
/proc/843291/stat : 843291 (naps-1.03) R 843286 843286 840689 0 -1 4194304 23352 0 0 0 145 3 0 0 20 0 1 0 163463229 144609280 31713 134679101440 4194304 6891213 140732781893648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15904768 140732781896693 140732781896805 140732781896805 140732781903819 0
/proc/843291/statm: 35305 31713 644 659 0 34509 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 151152 KiB
Current children cumulated memory: 129604 KiB
[startup+2.21568 s]
# the end of solver process 843286 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2.09623 s, system=0.112381 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6003 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 843291
/proc/meminfo: memFree=125255592/131524600 swapFree=131071996/131071996
[pid=843286] ppid=843283 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/843286/stat : 843286 (naps-1.03.sh) S 843283 843286 840689 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 163463229 10170368 688 134679101440 93963879596032 93963880675352 140725613498032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93963882773808 93963882820996 93963892400128 140725613499364 140725613499489 140725613499489 140725613506504 0
/proc/843286/statm: 2483 688 609 264 0 134 0
[pid=843291] ppid=843286 vsize=174556 memory=168692 CPUtime=1.58 cores=1,3
/proc/843291/stat : 843291 (naps-1.03) R 843286 843286 840689 0 -1 4194304 30084 0 0 0 153 5 0 0 20 0 1 0 163463229 178745344 42173 134679101440 4194304 6891213 140732781893648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15904768 140732781896693 140732781896805 140732781896805 140732781903819 0
/proc/843291/statm: 43639 42173 644 659 0 42843 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 184488 KiB
Current children cumulated memory: 171444 KiB
[startup+2.00024 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 843291
/proc/meminfo: memFree=124960176/131524600 swapFree=131071996/131071996
[pid=843286] ppid=843283 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/843286/stat : 843286 (naps-1.03.sh) S 843283 843286 840689 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 163463229 10170368 688 134679101440 93963879596032 93963880675352 140725613498032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93963882773808 93963882820996 93963892400128 140725613499364 140725613499489 140725613499489 140725613506504 0
/proc/843286/statm: 2483 688 609 264 0 134 0
[pid=843291] ppid=843286 vsize=319264 memory=304680 CPUtime=1.99 cores=1,3
/proc/843291/stat : 843291 (naps-1.03) R 843286 843286 840689 0 -1 4194304 42919 0 0 0 190 9 0 0 20 0 1 0 163463229 326926336 76170 134679101440 4194304 6891213 140732781893648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15904768 140732781896693 140732781896805 140732781896805 140732781903819 0
/proc/843291/statm: 79816 76170 644 659 0 79020 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 329196 KiB
Current children cumulated memory: 307432 KiB
[startup+2.20025 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 843291
/proc/meminfo: memFree=124960176/131524600 swapFree=131071996/131071996
[pid=843286] ppid=843283 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/843286/stat : 843286 (naps-1.03.sh) S 843283 843286 840689 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 163463229 10170368 688 134679101440 93963879596032 93963880675352 140725613498032 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93963882773808 93963882820996 93963892400128 140725613499364 140725613499489 140725613499489 140725613506504 0
/proc/843286/statm: 2483 688 609 264 0 134 0
[pid=843291] ppid=843286 vsize=356620 memory=338752 CPUtime=2.18 cores=1,3
/proc/843291/stat : 843291 (naps-1.03) R 843286 843286 840689 0 -1 4194304 46880 0 0 0 208 10 0 0 20 0 1 0 163463229 365178880 84688 134679101440 4194304 6891213 140732781893648 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 15904768 140732781896693 140732781896805 140732781896805 140732781903819 0
/proc/843291/statm: 89155 84688 644 659 0 88359 0
Current children cumulated CPU time: 2.18 s
Current children cumulated vsize: 366552 KiB
Current children cumulated memory: 341504 KiB
Child status: 30
Real time (s): 2.21573
CPU time (s): 2.20862
CPU user time (s): 2.09623
CPU system time (s): 0.112381
CPU usage (%): 99.6789
Max. virtual memory (cumulated for all children) (KiB): 366552
Max. memory (cumulated for all children) (KiB): 341504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.09623
system time used= 0.112381
maximum resident set size= 338752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47359
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= 12
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 843286
# total CPU time (s): 2.20862
# total CPU user time (s): 2.09623
# total CPU system time (s): 0.112381
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015033 second user time and 0.040124 second system time
The end
Begin job on nodeC033 at 2024-07-16 08:55:47
IDJOB=4434377
IDBENCH=148726
IDSOLVER=3063
FILE ID=nodeC033/4434377-1721112935
RUNJOBID= nodeC033-1721109326-840862
SLURM_JOB_ID= 7505643
Free space on /tmp= 890052 MiB
SOLVER NAME= NaPS 1.03
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__8.opb
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434377-1721112935/watcher-4434377-1721112935 -o /tmp/evaluation-result-4434377-1721112935/solver-4434377-1721112935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721109326-840862 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4434377-1721112935.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 991eb42852d791fff4af0455ecb98907
RANDOM SEED=1868904958
nodeC033.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 : 3658.176
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.50
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 : 3622.781
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.25
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.069
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.50
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 : 3663.716
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.25
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 : 3658.347
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.50
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 : 3669.315
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.25
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.016
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.50
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 : 3599.951
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125262704 kB
MemAvailable: 128270972 kB
Buffers: 424856 kB
Cached: 3388456 kB
SwapCached: 0 kB
Active: 696440 kB
Inactive: 4900960 kB
Active(anon): 1612 kB
Inactive(anon): 1820188 kB
Active(file): 694828 kB
Inactive(file): 3080772 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 11696 kB
Writeback: 0 kB
AnonPages: 1781588 kB
Mapped: 112044 kB
Shmem: 37716 kB
KReclaimable: 144632 kB
Slab: 255660 kB
SReclaimable: 144632 kB
SUnreclaim: 111028 kB
KernelStack: 4220 kB
PageTables: 12708 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2340852 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1046528 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: 256724 kB
DirectMap2M: 25731072 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 890044 MiB
End job on nodeC033 at 2024-07-16 08:55:50