10.67/10.42 c -------------------------Welcome to LSIPExcat Solver-------------------------------------
10.67/10.42 c numVar: 990
10.67/10.42 c numCon: 2677
10.67/10.42 c numEqual: 0
10.67/10.42 c intSize: 27
10.67/10.42 c ls_time: 10.0, mip_time: 1790.0, exact_time: 1790.0
10.67/10.42 c ------------------- Paras list -------------------
10.67/10.42 c Name Type Now Default Comment
10.67/10.42 c timeout double 3600.000000 3600
10.67/10.42 c mip_time double 0.500000 0.5
10.67/10.42 c ls_time double 10.000000 10
10.67/10.42 c safe_mode int 2 2 1 trust; 2 feasible
10.67/10.42 c mip_emphasis int 2 -1 -1 default; 0 balance; 1 feasibility; 2 optimality; 3 bound; 4 hidden; 5 heuristic
10.67/10.42 c random_seed int 0 0
10.67/10.42 c sample_size int 50 50
10.67/10.42 c sub_score int 1 1
10.67/10.42 c tabu_base int 3 3
10.67/10.42 c tabu_variation int 1 1
10.67/10.42 c sub_div int 4 4
10.67/10.42 c nbcore int 2 1
10.67/10.42 c memlimit int 31000 31744 memory limit in megabytes
10.67/10.42 c print_sol int 1 1
10.67/10.42 c tmpdir string . "."
10.67/10.42 c home string HOME "."
10.67/10.42 c benchname string HOME/instance-4512604-1751513339.opb ""
10.67/10.42 c --------------------------------------------------
10.67/10.42 c Local Search solver
10.67/10.42 c LS find feasible solution for PBO with objective value 22021727
10.67/10.42 c MIP solver
10.67/10.42 c Branch and Bound solver find optimal solution
10.67/10.42 c MIP solver objective value: 1.37391e+07
10.67/10.43 c MIP find feasible solution for PBO with objective value 13739089
10.67/10.43 c copy file: 0
10.67/10.43 c gen ub file: HOME/instance-4512604-1751513339.opb_ub.opb
10.67/10.43 c use Exact solver
10.70/10.56 c Exact find optimal solution
10.70/10.56 c Exact find feasible solution for PBO with objective value 13739089
10.70/10.56 o 13739089
10.70/10.56 s OPTIMUM FOUND
10.70/10.56 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 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 x882 -x883 -x884 -x885 -x886 x887 x888 -x889 -x890 -x891 -x892 -x893 x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 x942 -x943 -x944 -x945 -x946 -x947 x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 x987 -x988 -x989 -x990
10.70/10.56 c Total time: 11
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (60798 MiB free)
memory of node 1: 64465 MiB (62919 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512604-1751513339/watcher-4512604-1751513339 -o /tmp/evaluation-result-4512604-1751513339/solver-4512604-1751513339 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751504701-65428 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4512604-1751513339.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=67857, runsolver pid=67854
[startup+0.100063 s]*
/proc/loadavg: 6.14 6.09 5.91 7/266 67858
/proc/meminfo: memFree=126686776/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=41560 memory=6912 CPUtime=0.09 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) R 67854 67857 65417 0 -1 4194304 735 0 0 0 9 0 0 0 20 0 1 0 67011447 42557440 1728 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 10390 1728 1152 6655 0 625 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 6912 KiB
[startup+0.205913 s]*
/proc/loadavg: 6.14 6.09 5.91 7/266 67858
/proc/meminfo: memFree=126686776/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=41560 memory=6912 CPUtime=0.2 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) R 67854 67857 65417 0 -1 4194304 735 0 0 0 20 0 0 0 20 0 1 0 67011447 42557440 1728 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 10390 1728 1152 6655 0 625 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 6912 KiB
[startup+0.305964 s]*
/proc/loadavg: 6.14 6.09 5.91 7/266 67858
/proc/meminfo: memFree=126686776/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=41560 memory=6912 CPUtime=0.3 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) R 67854 67857 65417 0 -1 4194304 735 0 0 0 30 0 0 0 20 0 1 0 67011447 42557440 1728 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 10390 1728 1152 6655 0 625 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 6912 KiB
[startup+0.700195 s]
/proc/loadavg: 6.14 6.09 5.91 7/266 67858
/proc/meminfo: memFree=126686776/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=41560 memory=6912 CPUtime=0.69 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) R 67854 67857 65417 0 -1 4194304 735 0 0 0 69 0 0 0 20 0 1 0 67011447 42557440 1728 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 10390 1728 1152 6655 0 625 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 6912 KiB
[startup+1.5002 s]
/proc/loadavg: 6.14 6.09 5.91 7/266 67858
/proc/meminfo: memFree=126686776/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=41560 memory=6912 CPUtime=1.48 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) R 67854 67857 65417 0 -1 4194304 735 0 0 0 148 0 0 0 20 0 1 0 67011447 42557440 1728 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 10390 1728 1152 6655 0 625 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 6912 KiB
[startup+3.10575 s]
/proc/loadavg: 6.14 6.09 5.91 7/266 67858
/proc/meminfo: memFree=126687076/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=41560 memory=6912 CPUtime=3.08 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) R 67854 67857 65417 0 -1 4194304 735 0 0 0 308 0 0 0 20 0 1 0 67011447 42557440 1728 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 10390 1728 1152 6655 0 625 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 6912 KiB
[startup+6.30018 s]
/proc/loadavg: 6.13 6.08 5.91 7/266 67858
/proc/meminfo: memFree=126685312/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=41560 memory=6912 CPUtime=6.27 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) R 67854 67857 65417 0 -1 4194304 735 0 0 0 627 0 0 0 20 0 1 0 67011447 42557440 1728 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 10390 1728 1152 6655 0 625 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 6912 KiB
[startup+10.5683 s]
# the end of solver process 67857 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=10.8091 s, system=0.033607 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40022 s]
/proc/loadavg: 6.13 6.08 5.91 7/266 67858
/proc/meminfo: memFree=126685312/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=41560 memory=6912 CPUtime=6.37 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) R 67854 67857 65417 0 -1 4194304 735 0 0 0 637 0 0 0 20 0 1 0 67011447 42557440 1728 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 10390 1728 1152 6655 0 625 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 6912 KiB
[startup+8.00015 s]*
/proc/loadavg: 6.13 6.08 5.91 7/266 67858
/proc/meminfo: memFree=126685312/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=41560 memory=6912 CPUtime=7.97 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) R 67854 67857 65417 0 -1 4194304 735 0 0 0 797 0 0 0 20 0 1 0 67011447 42557440 1728 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 10390 1728 1152 6655 0 625 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 6912 KiB
[startup+9.60018 s]
/proc/loadavg: 6.13 6.08 5.91 7/266 67858
/proc/meminfo: memFree=126685312/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=41560 memory=6912 CPUtime=9.56 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) R 67854 67857 65417 0 -1 4194304 735 0 0 0 956 0 0 0 20 0 1 0 67011447 42557440 1728 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 10390 1728 1152 6655 0 625 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 6912 KiB
[startup+10.0002 s]*
/proc/loadavg: 6.12 6.08 5.91 7/266 67858
/proc/meminfo: memFree=126685312/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=41560 memory=6912 CPUtime=9.96 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) R 67854 67857 65417 0 -1 4194304 735 0 0 0 996 0 0 0 20 0 1 0 67011447 42557440 1728 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 10390 1728 1152 6655 0 625 0
Current children cumulated CPU time: 9.96 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 6912 KiB
[startup+10.4002 s]
/proc/loadavg: 6.12 6.08 5.91 7/266 67858
/proc/meminfo: memFree=126685312/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=128644 memory=35216 CPUtime=10.67 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) R 67854 67857 65417 0 -1 4194304 5216 0 0 0 1066 1 0 0 20 0 2 0 67011447 131731456 8804 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 32161 8804 3424 6655 0 7192 0
Current children cumulated CPU time: 10.67 s
Current children cumulated vsize: 128644 KiB
Current children cumulated memory: 35216 KiB
[startup+10.5002 s]
/proc/loadavg: 6.12 6.08 5.91 7/266 67858
/proc/meminfo: memFree=126685312/131250000 swapFree=33007332/33010684
[pid=67857] ppid=67854 vsize=128644 memory=33272 CPUtime=10.7 cores=4,6
/proc/67857/stat : 67857 (LSIPExact) S 67854 67857 65417 0 -1 4194304 5236 229 0 0 1069 1 0 0 20 0 1 0 67011447 131731456 8318 18446744073709551615 94345343397888 94345370654289 140720627713088 0 0 0 0 0 16386 1 0 0 17 6 0 0 0 0 0 94345379157128 94345379588736 94345410277376 140720627718490 140720627718666 140720627718666 140720627724268 0
/proc/67857/statm: 32161 8318 3424 6655 0 7192 0
Current children cumulated CPU time: 10.7 s
Current children cumulated vsize: 128644 KiB
Current children cumulated memory: 33272 KiB
Child status: 0
Real time (s): 10.5684
CPU time (s): 10.8427
CPU user time (s): 10.8091
CPU system time (s): 0.033607
CPU usage (%): 102.595
Max. virtual memory (cumulated for all children) (KiB): 128644
Max. memory (cumulated for all children) (KiB): 35216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8091
system time used= 0.033607
maximum resident set size= 35216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7207
page faults= 0
swaps= 0
block input operations= 144
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 450
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 67857
# total CPU time (s): 10.8427
# total CPU user time (s): 10.8091
# total CPU system time (s): 0.033607
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0325 second user time and 0.080134 second system time
The end
Begin job on nodeC019 at 2025-07-03 05:28:59
IDJOB=4512604
IDBENCH=161765
IDSOLVER=3337
FILE ID=nodeC019/4512604-1751513339
RUNJOBID= nodeC019-1751504701-65428
SLURM_JOB_ID= 9598595
Free space on /tmp= 431504 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-2-irabcde.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512604-1751513339/watcher-4512604-1751513339 -o /tmp/evaluation-result-4512604-1751513339/solver-4512604-1751513339 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751504701-65428 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4512604-1751513339.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a516300ab931745c5ca3399047c5aa04
RANDOM SEED=108296511
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.678
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.710
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.597
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.683
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3637.794
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.694
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.541
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.615
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126686776 kB
MemAvailable: 128385224 kB
Buffers: 904 kB
Cached: 2501960 kB
SwapCached: 440 kB
Active: 1569408 kB
Inactive: 2356352 kB
Active(anon): 1410352 kB
Inactive(anon): 27736 kB
Active(file): 159056 kB
Inactive(file): 2328616 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44704 kB
Writeback: 4 kB
AnonPages: 1420976 kB
Mapped: 143760 kB
Shmem: 15192 kB
KReclaimable: 100032 kB
Slab: 188628 kB
SReclaimable: 100032 kB
SUnreclaim: 88596 kB
KernelStack: 4288 kB
PageTables: 5972 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1813756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 337920 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431460 MiB
End job on nodeC019 at 2025-07-03 05:29:10