0.08/0.10 c #vars 1020 #constraints 43180 42.3333 1
0.18/0.21 c 43180 constraints
0.18/0.21 c Finish cloning data from SAT to LS
0.18/0.21 c restart_num_ls -100000 0
74.29/74.54 c Use LS-small
74.29/74.54 c restart_num_ls 0 501
74.29/74.54 c LS 90 32
153.60/154.04 c Use LS-small
153.60/154.04 c restart_num_ls 501 1002
153.60/154.04 c LS 80 98
233.57/234.21 c Use LS-small
233.57/234.21 restart_num 1002 1310
233.57/234.21 LS-restart 70 95
310.56/311.41 c Use LS-small
310.56/311.41 restart_num 1310 1731
310.56/311.41 LS-restart 60 73
408.09/409.26 c Use LS-small
408.09/409.26 c restart_num_ls 1731 2232
408.09/409.26 c LS 50 81
489.87/491.23 c Use LS-small
489.87/491.23 c restart_num_ls 2232 2733
489.87/491.23 c LS 40 38
576.82/578.44 c Use LS-small
576.82/578.44 restart_num 2733 3202
576.82/578.44 LS-restart 30 89
647.82/649.61 c Use LS-small
647.82/649.61 restart_num 3202 3511
647.82/649.61 LS-restart 20 60
730.31/732.35 c Use LS-small
730.31/732.35 c restart_num_ls 3511 4012
730.31/732.35 c LS 10 45
784.69/786.85 c Use LS-small
784.69/786.85 c SAT by LS-small
784.69/786.85 s SATISFIABLE
784.69/786.85 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 -x991 -x992 -x993 -x994 -x995 x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020
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 (62468 MiB free)
memory of node 1: 64465 MiB (62898 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494466-1751149525/watcher-4494466-1751149525 -o /tmp/evaluation-result-4494466-1751149525/solver-4494466-1751149525 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751143366-14982 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4494466-1751149525.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19049, runsolver pid=19046
[startup+0.100066 s]*
/proc/loadavg: 4.14 4.16 4.11 5/267 19050
/proc/meminfo: memFree=128371696/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=88388 memory=17472 CPUtime=0.08 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 1935 0 0 0 8 0 0 0 20 0 1 0 30630094 90509312 4368 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 22097 4368 2208 595 0 6764 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 88388 KiB
Current children cumulated memory: 17472 KiB
[startup+0.205459 s]*
/proc/loadavg: 4.14 4.16 4.11 5/267 19050
/proc/meminfo: memFree=128339816/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=132484 memory=54804 CPUtime=0.18 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 11813 0 0 0 16 2 0 0 20 0 1 0 30630094 135663616 13701 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 33121 13701 2464 595 0 17788 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 132484 KiB
Current children cumulated memory: 54804 KiB
[startup+0.305456 s]*
/proc/loadavg: 4.14 4.16 4.11 5/267 19050
/proc/meminfo: memFree=128331752/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=135916 memory=61716 CPUtime=0.28 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 13521 0 0 0 25 3 0 0 20 0 1 0 30630094 139177984 15429 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 33979 15429 2496 595 0 18646 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 61716 KiB
[startup+0.700194 s]
/proc/loadavg: 4.13 4.16 4.11 5/267 19050
/proc/meminfo: memFree=128331752/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=135916 memory=61716 CPUtime=0.66 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 13523 0 0 0 62 4 0 0 20 0 1 0 30630094 139177984 15429 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 33979 15429 2496 595 0 18646 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 61716 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.16 4.11 5/267 19050
/proc/meminfo: memFree=128347592/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=135916 memory=61716 CPUtime=1.46 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 13523 0 0 0 141 5 0 0 20 0 1 0 30630094 139177984 15429 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 33979 15429 2496 595 0 18646 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 61716 KiB
[startup+3.10542 s]
/proc/loadavg: 4.13 4.16 4.11 5/267 19050
/proc/meminfo: memFree=128365416/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=135916 memory=61716 CPUtime=3.06 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 13523 0 0 0 295 11 0 0 20 0 1 0 30630094 139177984 15429 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 33979 15429 2496 595 0 18646 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 61716 KiB
[startup+6.30017 s]
/proc/loadavg: 4.12 4.15 4.11 5/267 19050
/proc/meminfo: memFree=128390012/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=135916 memory=61716 CPUtime=6.25 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 13523 0 0 0 606 19 0 0 20 0 1 0 30630094 139177984 15429 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 33979 15429 2496 595 0 18646 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 61716 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.17 4.12 5/267 19050
/proc/meminfo: memFree=128439416/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=135916 memory=61716 CPUtime=12.63 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 13523 0 0 0 1226 37 0 0 20 0 1 0 30630094 139177984 15429 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 33979 15429 2496 595 0 18646 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 61716 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.16 4.11 5/267 19050
/proc/meminfo: memFree=128464504/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=135916 memory=61716 CPUtime=25.4 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 13523 0 0 0 2466 74 0 0 20 0 1 0 30630094 139177984 15429 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 33979 15429 2496 595 0 18646 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 61716 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.16 4.11 5/267 19051
/proc/meminfo: memFree=128465284/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=135916 memory=61716 CPUtime=50.95 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 13523 0 0 0 4949 146 0 0 20 0 1 0 30630094 139177984 15429 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 33979 15429 2496 595 0 18646 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 135916 KiB
Current children cumulated memory: 61716 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/265 19053
/proc/meminfo: memFree=128457588/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=141012 memory=70764 CPUtime=102.03 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 14797 0 0 0 9945 258 0 0 20 0 1 0 30630094 144396288 17691 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 35253 17691 2496 595 0 19920 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 141012 KiB
Current children cumulated memory: 70764 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/265 19060
/proc/meminfo: memFree=128434488/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=142168 memory=72044 CPUtime=161.87 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 15090 0 0 0 15808 379 0 0 20 0 1 0 30630094 145580032 18011 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 35542 18011 2496 595 0 20209 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 142168 KiB
Current children cumulated memory: 72044 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/264 19062
/proc/meminfo: memFree=128436420/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=142676 memory=72556 CPUtime=221.71 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 15221 0 0 0 21646 525 0 0 20 0 1 0 30630094 146100224 18139 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 35669 18139 2496 595 0 20336 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 142676 KiB
Current children cumulated memory: 72556 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/264 19064
/proc/meminfo: memFree=128431540/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=143524 memory=73324 CPUtime=281.55 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 15433 0 0 0 27488 667 0 0 20 0 1 0 30630094 146968576 18331 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 35881 18331 2496 595 0 20548 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 143524 KiB
Current children cumulated memory: 73324 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/266 19069
/proc/meminfo: memFree=128423604/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=144328 memory=74092 CPUtime=341.38 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 15638 0 0 0 33345 793 0 0 20 0 1 0 30630094 147791872 18523 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 36082 18523 2496 595 0 20749 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 144328 KiB
Current children cumulated memory: 74092 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 19072
/proc/meminfo: memFree=128418004/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=145380 memory=77256 CPUtime=401.21 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 15902 0 0 0 39243 878 0 0 20 0 1 0 30630094 148869120 19314 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 36345 19314 2496 595 0 21012 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 145380 KiB
Current children cumulated memory: 77256 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 19077
/proc/meminfo: memFree=128417912/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=145380 memory=77384 CPUtime=461.05 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 15934 0 0 0 45071 1034 0 0 20 0 1 0 30630094 148869120 19346 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 36345 19346 2496 595 0 21012 0
Current children cumulated CPU time: 461.05 s
Current children cumulated vsize: 145380 KiB
Current children cumulated memory: 77384 KiB
[startup+522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 19079
/proc/meminfo: memFree=128390168/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=146236 memory=78152 CPUtime=520.89 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 16141 0 0 0 50941 1148 0 0 20 0 1 0 30630094 149745664 19538 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 36559 19538 2496 595 0 21226 0
Current children cumulated CPU time: 520.89 s
Current children cumulated vsize: 146236 KiB
Current children cumulated memory: 78152 KiB
[startup+582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 19081
/proc/meminfo: memFree=128397860/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=147260 memory=79176 CPUtime=580.71 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 16398 0 0 0 56831 1240 0 0 20 0 1 0 30630094 150794240 19794 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 36815 19794 2496 595 0 21482 0
Current children cumulated CPU time: 580.71 s
Current children cumulated vsize: 147260 KiB
Current children cumulated memory: 79176 KiB
[startup+642.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 19083
/proc/meminfo: memFree=128397980/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=147260 memory=79176 CPUtime=640.55 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 16402 0 0 0 62656 1399 0 0 20 0 1 0 30630094 150794240 19794 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 36815 19794 2496 595 0 21482 0
Current children cumulated CPU time: 640.55 s
Current children cumulated vsize: 147260 KiB
Current children cumulated memory: 79176 KiB
[startup+702.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 19085
/proc/meminfo: memFree=128381740/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=147692 memory=79560 CPUtime=700.38 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 16489 0 0 0 68484 1554 0 0 20 0 1 0 30630094 151236608 19890 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 36923 19890 2496 595 0 21590 0
Current children cumulated CPU time: 700.38 s
Current children cumulated vsize: 147692 KiB
Current children cumulated memory: 79560 KiB
[startup+762.3 s]
/proc/loadavg: 4.45 4.18 4.12 5/264 19092
/proc/meminfo: memFree=128335244/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=148288 memory=82248 CPUtime=760.24 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 16650 0 0 0 74355 1669 0 0 20 0 1 0 30630094 151846912 20562 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 37072 20562 2496 595 0 21739 0
Current children cumulated CPU time: 760.24 s
Current children cumulated vsize: 148288 KiB
Current children cumulated memory: 82248 KiB
[startup+786.853 s]
# the end of solver process 19049 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=767.253 s, system=17.4992 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.50 4.20 4.12 5/264 19092
/proc/meminfo: memFree=128335496/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=148288 memory=82248 CPUtime=765.94 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 16650 0 0 0 74907 1687 0 0 20 0 1 0 30630094 151846912 20562 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 37072 20562 2496 595 0 21739 0
Current children cumulated CPU time: 765.94 s
Current children cumulated vsize: 148288 KiB
Current children cumulated memory: 82248 KiB
[startup+774.4 s]
/proc/loadavg: 4.46 4.19 4.12 5/264 19093
/proc/meminfo: memFree=128343812/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=148288 memory=82248 CPUtime=772.32 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 16650 0 0 0 75523 1709 0 0 20 0 1 0 30630094 151846912 20562 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 37072 20562 2496 595 0 21739 0
Current children cumulated CPU time: 772.32 s
Current children cumulated vsize: 148288 KiB
Current children cumulated memory: 82248 KiB
[startup+780.8 s]
/proc/loadavg: 4.42 4.19 4.12 5/264 19093
/proc/meminfo: memFree=128344316/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=148288 memory=82248 CPUtime=778.7 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 16650 0 0 0 76138 1732 0 0 20 0 1 0 30630094 151846912 20562 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 37072 20562 2496 595 0 21739 0
Current children cumulated CPU time: 778.7 s
Current children cumulated vsize: 148288 KiB
Current children cumulated memory: 82248 KiB
[startup+784 s]*
/proc/loadavg: 4.39 4.19 4.12 5/264 19095
/proc/meminfo: memFree=128344852/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=148288 memory=82248 CPUtime=781.9 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 16650 0 0 0 76448 1742 0 0 20 0 1 0 30630094 151846912 20562 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 37072 20562 2496 595 0 21739 0
Current children cumulated CPU time: 781.9 s
Current children cumulated vsize: 148288 KiB
Current children cumulated memory: 82248 KiB
[startup+785.6 s]
/proc/loadavg: 4.39 4.19 4.12 5/264 19095
/proc/meminfo: memFree=128344852/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=148288 memory=82248 CPUtime=783.49 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 16650 0 0 0 76603 1746 0 0 20 0 1 0 30630094 151846912 20562 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 37072 20562 2496 595 0 21739 0
Current children cumulated CPU time: 783.49 s
Current children cumulated vsize: 148288 KiB
Current children cumulated memory: 82248 KiB
[startup+786.4 s]
/proc/loadavg: 4.35 4.18 4.12 5/264 19095
/proc/meminfo: memFree=128344852/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=148288 memory=82248 CPUtime=784.29 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 16650 0 0 0 76681 1748 0 0 20 0 1 0 30630094 151846912 20562 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 37072 20562 2496 595 0 21739 0
Current children cumulated CPU time: 784.29 s
Current children cumulated vsize: 148288 KiB
Current children cumulated memory: 82248 KiB
[startup+786.8 s]
/proc/loadavg: 4.35 4.18 4.12 5/264 19095
/proc/meminfo: memFree=128344852/131250000 swapFree=33010684/33010684
[pid=19049] ppid=19046 vsize=148288 memory=82248 CPUtime=784.69 cores=4,6
/proc/19049/stat : 19049 (SynLSCD) R 19046 19049 14971 0 -1 4194304 16650 0 0 0 76720 1749 0 0 20 0 1 0 30630094 151846912 20562 18446744073709551615 93886691635200 93886694069353 140729280074448 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 93886694550776 93886694583808 93886726651904 140729280076134 140729280076267 140729280076267 140729280081869 0
/proc/19049/statm: 37072 20562 2496 595 0 21739 0
Current children cumulated CPU time: 784.69 s
Current children cumulated vsize: 148288 KiB
Current children cumulated memory: 82248 KiB
Child status: 30
Real time (s): 786.853
CPU time (s): 784.752
CPU user time (s): 767.253
CPU system time (s): 17.4992
CPU usage (%): 99.733
Max. virtual memory (cumulated for all children) (KiB): 148288
Max. memory (cumulated for all children) (KiB): 82248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 767.253
system time used= 17.4992
maximum resident set size= 82248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16675
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= 147
involuntary context switches= 580
# summary of solver processes directly reported to runsolver:
# pid: 19049
# total CPU time (s): 784.752
# total CPU user time (s): 767.253
# total CPU system time (s): 17.4992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48505 second user time and 3.36727 second system time
The end
Begin job on nodeC016 at 2025-06-29 00:25:25
IDJOB=4494466
IDBENCH=147891
IDSOLVER=3369
FILE ID=nodeC016/4494466-1751149525
RUNJOBID= nodeC016-1751143366-14982
SLURM_JOB_ID= 9587436
Free space on /tmp= 433048 MiB
SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb
COMMAND LINE= SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494466-1751149525/watcher-4494466-1751149525 -o /tmp/evaluation-result-4494466-1751149525/solver-4494466-1751149525 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751143366-14982 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4494466-1751149525.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f8e7200d7e9c4a7cfb6b4e6c5b6d430a
RANDOM SEED=15803345
nodeC016 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.735
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.48
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 : 3600.237
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.48
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 : 3601.629
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.48
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 : 3653.235
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.48
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 : 3599.774
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.48
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.730
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.48
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.732
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.48
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 : 3585.717
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128375548 kB
MemAvailable: 128014500 kB
Buffers: 3280 kB
Cached: 442284 kB
SwapCached: 0 kB
Active: 1911288 kB
Inactive: 220760 kB
Active(anon): 1704556 kB
Inactive(anon): 0 kB
Active(file): 206732 kB
Inactive(file): 220760 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 4872 kB
Writeback: 0 kB
AnonPages: 1689596 kB
Mapped: 114168 kB
Shmem: 18072 kB
KReclaimable: 85768 kB
Slab: 168568 kB
SReclaimable: 85768 kB
SUnreclaim: 82800 kB
KernelStack: 4304 kB
PageTables: 6500 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2164732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1533952 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC016 at 2025-06-29 00:38:32