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 (60689 MiB free)
memory of node 1: 64465 MiB (63335 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542523-1753206207/watcher-4542523-1753206207 -o /tmp/evaluation-result-4542523-1753206207/solver-4542523-1753206207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753198970-188858 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=788495262 --ls=0 --inp-dombreaklim=0 HOME/instance-4542523-1753206207.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=189650, runsolver pid=189646
[startup+0.100066 s]*
/proc/loadavg: 4.25 4.20 4.13 5/261 189654
/proc/meminfo: memFree=126683968/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=291888 memory=267648 CPUtime=0.09 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 2705 0 0 0 4 5 0 0 20 0 1 0 236298284 298893312 66912 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 72972 66912 960 1200 0 71452 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 291888 KiB
Current children cumulated memory: 267648 KiB
[startup+0.205544 s]*
/proc/loadavg: 4.25 4.20 4.13 4/260 189660
/proc/meminfo: memFree=126279824/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=820456 memory=564140 CPUtime=0.19 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 7814 0 0 0 8 11 0 0 20 0 1 0 236298284 840146944 141035 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 205114 141035 992 1200 0 203594 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 820456 KiB
Current children cumulated memory: 564140 KiB
[startup+0.305476 s]*
/proc/loadavg: 4.25 4.20 4.13 5/264 189664
/proc/meminfo: memFree=125724740/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=820456 memory=796972 CPUtime=0.29 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 8290 0 0 0 14 15 0 0 20 0 1 0 236298284 840146944 199243 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 205114 199243 992 1200 0 203594 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 820456 KiB
Current children cumulated memory: 796972 KiB
[startup+0.700173 s]
/proc/loadavg: 4.25 4.20 4.13 5/264 189664
/proc/meminfo: memFree=124936980/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=1765688 memory=1741692 CPUtime=0.68 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 15985 0 0 0 34 34 0 0 20 0 1 0 236298284 1808064512 435423 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 441422 435423 1024 1200 0 439902 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1765688 KiB
Current children cumulated memory: 1741692 KiB
[startup+1.50018 s]
/proc/loadavg: 4.25 4.20 4.13 5/264 189664
/proc/meminfo: memFree=123918896/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=2134812 memory=2095780 CPUtime=1.48 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 90010 0 0 0 99 49 0 0 20 0 1 0 236298284 2186047488 523945 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 533703 523945 1024 1200 0 532183 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2134812 KiB
Current children cumulated memory: 2095780 KiB
[startup+3.10549 s]
/proc/loadavg: 4.25 4.20 4.13 5/264 189664
/proc/meminfo: memFree=121774300/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=2850500 memory=2823464 CPUtime=3.07 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 215825 0 0 0 233 74 0 0 20 0 1 0 236298284 2918912000 705866 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 712625 705866 1024 1200 0 711105 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2850500 KiB
Current children cumulated memory: 2823464 KiB
[startup+6.30017 s]
/proc/loadavg: 4.23 4.20 4.13 5/264 189665
/proc/meminfo: memFree=119126064/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=4707856 memory=4388440 CPUtime=6.26 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 504384 0 0 0 492 134 0 0 20 0 1 0 236298284 4820844544 1097110 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1176964 1097110 1024 1200 0 1175444 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 4707856 KiB
Current children cumulated memory: 4388440 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.21 4.13 5/264 189665
/proc/meminfo: memFree=117009260/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6025144 memory=5736936 CPUtime=12.64 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 586640 0 0 0 1072 192 0 0 20 0 1 0 236298284 6169747456 1434234 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1506286 1434234 1184 1200 0 1504766 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 6025144 KiB
Current children cumulated memory: 5736936 KiB
[startup+25.5002 s]
/proc/loadavg: 4.30 4.22 4.14 5/265 189666
/proc/meminfo: memFree=116843280/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6112484 memory=5834112 CPUtime=25.41 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 590246 0 0 0 2346 195 0 0 20 0 1 0 236298284 6259183616 1458528 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1528121 1458528 1216 1200 0 1526601 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 6112484 KiB
Current children cumulated memory: 5834112 KiB
[startup+51.1054 s]
/proc/loadavg: 4.26 4.21 4.14 5/265 189711
/proc/meminfo: memFree=117314400/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6128868 memory=5845552 CPUtime=50.94 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 591451 0 0 0 4896 198 0 0 20 0 1 0 236298284 6275960832 1461388 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1532217 1461388 1216 1200 0 1530697 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 6128868 KiB
Current children cumulated memory: 5845552 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.19 4.13 5/265 189803
/proc/meminfo: memFree=118271880/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6161244 memory=5863140 CPUtime=101.98 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 593522 0 0 0 9998 200 0 0 20 0 1 0 236298284 6309113856 1465785 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1540311 1465785 1248 1200 0 1538791 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 6161244 KiB
Current children cumulated memory: 5863140 KiB
[startup+162.3 s]
/proc/loadavg: 4.40 4.25 4.16 5/265 189805
/proc/meminfo: memFree=118247656/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6161244 memory=5871332 CPUtime=161.79 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 594500 0 0 0 15978 201 0 0 20 0 1 0 236298284 6309113856 1467833 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1540311 1467833 1248 1200 0 1538791 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 6161244 KiB
Current children cumulated memory: 5871332 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.22 4.15 5/265 189807
/proc/meminfo: memFree=118178896/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6167316 memory=5883492 CPUtime=221.6 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 597901 0 0 0 21957 203 0 0 20 0 1 0 236298284 6315331584 1470873 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1541829 1470873 1248 1200 0 1540309 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 6167316 KiB
Current children cumulated memory: 5883492 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.20 4.15 5/266 190889
/proc/meminfo: memFree=117651512/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6212664 memory=5928868 CPUtime=281.42 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 609767 0 0 0 27935 207 0 0 20 0 1 0 236298284 6361767936 1482217 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1553166 1482217 1248 1200 0 1551646 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 6212664 KiB
Current children cumulated memory: 5928868 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.20 4.15 5/266 191026
/proc/meminfo: memFree=117178992/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6252660 memory=5968732 CPUtime=341.24 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 619238 0 0 0 33914 210 0 0 20 0 1 0 236298284 6402723840 1492183 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1563165 1492183 1248 1200 0 1561645 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 6252660 KiB
Current children cumulated memory: 5968732 KiB
[startup+402.3 s]
/proc/loadavg: 4.50 4.27 4.18 5/266 191028
/proc/meminfo: memFree=116637296/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6300100 memory=6018300 CPUtime=401.05 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 631392 0 0 0 39892 213 0 0 20 0 1 0 236298284 6451302400 1504575 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1575025 1504575 1248 1200 0 1573505 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 6300100 KiB
Current children cumulated memory: 6018300 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.25 4.18 5/266 191031
/proc/meminfo: memFree=116448768/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6399896 memory=6083168 CPUtime=460.86 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 647683 0 0 0 45868 218 0 0 20 0 1 0 236298284 6553493504 1520792 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1599974 1520792 1248 1200 0 1598454 0
################
# More data... #
################
Current children cumulated memory: 6300896 KiB
[startup+762.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/264 191137
/proc/meminfo: memFree=116078320/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6646652 memory=6345312 CPUtime=759.92 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 709368 0 0 0 75754 238 0 0 20 0 1 0 236298284 6806171648 1586328 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1661663 1586328 1248 1200 0 1660143 0
Current children cumulated CPU time: 759.92 s
Current children cumulated vsize: 6646652 KiB
Current children cumulated memory: 6345312 KiB
[startup+822.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/264 191410
/proc/meminfo: memFree=116233312/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6692648 memory=6391228 CPUtime=819.73 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 722039 0 0 0 81731 242 0 0 20 0 1 0 236298284 6853271552 1597807 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1673162 1597807 1248 1200 0 1671642 0
Current children cumulated CPU time: 819.73 s
Current children cumulated vsize: 6692648 KiB
Current children cumulated memory: 6391228 KiB
[startup+882.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/264 191412
/proc/meminfo: memFree=116104852/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6737404 memory=6436028 CPUtime=879.54 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 730218 0 0 0 87708 246 0 0 20 0 1 0 236298284 6899101696 1609007 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1684351 1609007 1248 1200 0 1682831 0
Current children cumulated CPU time: 879.54 s
Current children cumulated vsize: 6737404 KiB
Current children cumulated memory: 6436028 KiB
[startup+942.3 s]
/proc/loadavg: 4.07 4.12 4.14 5/265 191459
/proc/meminfo: memFree=120329216/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6771904 memory=6470192 CPUtime=939.35 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 734953 0 0 0 93685 250 0 0 20 0 1 0 236298284 6934429696 1617548 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1692976 1617548 1248 1200 0 1691456 0
Current children cumulated CPU time: 939.35 s
Current children cumulated vsize: 6771904 KiB
Current children cumulated memory: 6470192 KiB
[startup+1002.3 s]
/proc/loadavg: 4.06 4.11 4.14 5/265 191461
/proc/meminfo: memFree=120295932/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6814544 memory=6512688 CPUtime=999.2 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 746453 0 0 0 99667 253 0 0 20 0 1 0 236298284 6978093056 1628172 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1703636 1628172 1248 1200 0 1702116 0
Current children cumulated CPU time: 999.2 s
Current children cumulated vsize: 6814544 KiB
Current children cumulated memory: 6512688 KiB
[startup+1062.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/264 191474
/proc/meminfo: memFree=120258396/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6850540 memory=6548656 CPUtime=1059.06 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 755519 0 0 0 105649 257 0 0 20 0 1 0 236298284 7014952960 1637164 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1712635 1637164 1248 1200 0 1711115 0
Current children cumulated CPU time: 1059.06 s
Current children cumulated vsize: 6850540 KiB
Current children cumulated memory: 6548656 KiB
[startup+1122.3 s]
/proc/loadavg: 4.40 4.20 4.17 5/263 191476
/proc/meminfo: memFree=120221444/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6890096 memory=6588208 CPUtime=1118.92 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 766640 0 0 0 111631 261 0 0 20 0 1 0 236298284 7055458304 1647052 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1722524 1647052 1248 1200 0 1721004 0
Current children cumulated CPU time: 1118.92 s
Current children cumulated vsize: 6890096 KiB
Current children cumulated memory: 6588208 KiB
[startup+1182.3 s]
/proc/loadavg: 4.26 4.20 4.17 5/265 191481
/proc/meminfo: memFree=120127208/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6967140 memory=6665012 CPUtime=1178.77 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 778713 0 0 0 117611 266 0 0 20 0 1 0 236298284 7134351360 1666253 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1741785 1666253 1248 1200 0 1740265 0
Current children cumulated CPU time: 1178.77 s
Current children cumulated vsize: 6967140 KiB
Current children cumulated memory: 6665012 KiB
[startup+1196.98 s]
# the end of solver process 189650 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=1190.63 s, system=2.79627 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.22 4.19 4.17 5/265 191481
/proc/meminfo: memFree=120122804/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6971100 memory=6668980 CPUtime=1186.85 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 779768 0 0 0 118419 266 0 0 20 0 1 0 236298284 7138406400 1667245 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1742775 1667245 1248 1200 0 1741255 0
Current children cumulated CPU time: 1186.85 s
Current children cumulated vsize: 6971100 KiB
Current children cumulated memory: 6668980 KiB
[startup+1193.6 s]
/proc/loadavg: 4.22 4.19 4.17 5/265 191481
/proc/meminfo: memFree=120123056/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6972156 memory=6670132 CPUtime=1190.05 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 780099 0 0 0 118738 267 0 0 20 0 1 0 236298284 7139487744 1667533 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1743039 1667533 1248 1200 0 1741519 0
Current children cumulated CPU time: 1190.05 s
Current children cumulated vsize: 6972156 KiB
Current children cumulated memory: 6670132 KiB
[startup+1195.2 s]
/proc/loadavg: 4.20 4.18 4.16 5/265 191481
/proc/meminfo: memFree=120108272/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=6993036 memory=6690840 CPUtime=1191.64 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 782268 0 0 0 118896 268 0 0 20 0 1 0 236298284 7160868864 1672710 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1748259 1672710 1248 1200 0 1746739 0
Current children cumulated CPU time: 1191.64 s
Current children cumulated vsize: 6993036 KiB
Current children cumulated memory: 6690840 KiB
[startup+1196 s]*
/proc/loadavg: 4.20 4.18 4.16 5/265 191481
/proc/meminfo: memFree=121822720/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=5031340 memory=4948064 CPUtime=1192.44 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 782722 0 0 0 118976 268 0 0 20 0 1 0 236298284 5152092160 1237016 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1257835 1237016 1248 1200 0 1256315 0
Current children cumulated CPU time: 1192.44 s
Current children cumulated vsize: 5031340 KiB
Current children cumulated memory: 4948064 KiB
[startup+1196.4 s]
/proc/loadavg: 4.20 4.18 4.16 5/265 191481
/proc/meminfo: memFree=121822720/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=5031340 memory=4948064 CPUtime=1192.84 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 782722 0 0 0 119016 268 0 0 20 0 1 0 236298284 5152092160 1237016 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1257835 1237016 1248 1200 0 1256315 0
Current children cumulated CPU time: 1192.84 s
Current children cumulated vsize: 5031340 KiB
Current children cumulated memory: 4948064 KiB
[startup+1196.8 s]
/proc/loadavg: 4.20 4.18 4.16 5/265 191481
/proc/meminfo: memFree=121822720/131250000 swapFree=33010160/33010684
[pid=189650] ppid=189646 vsize=4801960 memory=4718684 CPUtime=1193.23 cores=5,7
/proc/189650/stat : 189650 (Exact) R 189646 189650 188838 0 -1 4194304 782869 0 0 0 119055 268 0 0 20 0 1 0 236298284 4917207040 1179671 18446744073709551615 4198400 9112445 140726120609728 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 15863808 140726120618279 140726120618475 140726120618475 140726120624079 0
/proc/189650/statm: 1200490 1179671 1248 1200 0 1198970 0
Current children cumulated CPU time: 1193.23 s
Current children cumulated vsize: 4801960 KiB
Current children cumulated memory: 4718684 KiB
[startup+1196.9 s]*
/proc/loadavg: 4.20 4.18 4.16 5/265 191481
/proc/meminfo: memFree=123990480/131250000 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 20
Real time (s): 1196.98
CPU time (s): 1193.42
CPU user time (s): 1190.63
CPU system time (s): 2.79627
CPU usage (%): 99.703
Max. virtual memory (cumulated for all children) (KiB): 6993036
Max. memory (cumulated for all children) (KiB): 6690840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1190.63
system time used= 2.79627
maximum resident set size= 6690840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 782968
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= 7
involuntary context switches= 1321
# summary of solver processes directly reported to runsolver:
# pid: 189650
# total CPU time (s): 1193.42
# total CPU user time (s): 1190.63
# total CPU system time (s): 2.79627
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.21638 second user time and 5.21891 second system time
The end
Begin job on nodeC016 at 2025-07-22 19:43:27
IDJOB=4542523
IDBENCH=163934
IDSOLVER=3318
FILE ID=nodeC016/4542523-1753206207
RUNJOBID= nodeC016-1753198970-188858
SLURM_JOB_ID= 9687749
Free space on /tmp= 432900 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4542523-1753206207/watcher-4542523-1753206207 -o /tmp/evaluation-result-4542523-1753206207/solver-4542523-1753206207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753198970-188858 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=788495262 --ls=0 --inp-dombreaklim=0 HOME/instance-4542523-1753206207.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8e56f9e5ad0cb5cee4856e95cb4d672
RANDOM SEED=788495262
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.829
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 : 3599.929
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 : 3600.014
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 : 3599.829
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.633
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 : 3597.719
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 : 3601.738
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 : 3599.729
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: 127039720 kB
MemAvailable: 127971668 kB
Buffers: 2144 kB
Cached: 1647860 kB
SwapCached: 24 kB
Active: 2948968 kB
Inactive: 410956 kB
Active(anon): 1734056 kB
Inactive(anon): 2108 kB
Active(file): 1214912 kB
Inactive(file): 408848 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 127628 kB
Writeback: 0 kB
AnonPages: 1713052 kB
Mapped: 116672 kB
Shmem: 26240 kB
KReclaimable: 294856 kB
Slab: 394376 kB
SReclaimable: 294856 kB
SUnreclaim: 99520 kB
KernelStack: 4252 kB
PageTables: 5972 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2108556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1148928 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= 432916 MiB
End job on nodeC016 at 2025-07-22 20:03:24