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: 64059 MiB (61091 MiB free)
memory of node 1: 64510 MiB (33594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462860-1722347172/watcher-4462860-1722347172 -o /tmp/evaluation-result-4462860-1722347172/solver-4462860-1722347172 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722340763-6813 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462860-1722347172 --lp-cut-gomory=0 HOME/instance-4462860-1722347172.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10519, runsolver pid=10516
[startup+0.100608 s]*
/proc/loadavg: 4.12 4.16 4.18 5/255 10520
/proc/meminfo: memFree=96948748/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=44060 memory=12384 CPUtime=0.06 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 2704 0 0 0 6 0 0 0 20 0 1 0 1312832 45117440 3096 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 11015 3096 1359 992 0 2873 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 44060 KiB
Current children cumulated memory: 12384 KiB
[startup+0.213609 s]*
/proc/loadavg: 4.12 4.16 4.18 5/255 10520
/proc/meminfo: memFree=96926636/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=63264 memory=29280 CPUtime=0.17 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 7531 0 0 0 15 2 0 0 20 0 1 0 1312832 64782336 7320 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 15816 7320 1359 992 0 7674 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63264 KiB
Current children cumulated memory: 29280 KiB
[startup+0.313351 s]*
/proc/loadavg: 4.12 4.16 4.18 5/255 10520
/proc/meminfo: memFree=96918240/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=63776 memory=32976 CPUtime=0.27 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 8444 0 0 0 24 3 0 0 20 0 1 0 1312832 65306624 8244 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 15944 8244 1359 992 0 7802 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 63776 KiB
Current children cumulated memory: 32976 KiB
[startup+0.700284 s]
/proc/loadavg: 4.12 4.16 4.18 5/255 10520
/proc/meminfo: memFree=96887900/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=88876 memory=57428 CPUtime=0.64 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 11542 0 0 0 59 5 0 0 20 0 1 0 1312832 91009024 14357 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 22219 14357 1359 992 0 14077 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 88876 KiB
Current children cumulated memory: 57428 KiB
[startup+1.50032 s]
/proc/loadavg: 4.12 4.16 4.18 5/255 10520
/proc/meminfo: memFree=96858976/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=208020 memory=175904 CPUtime=1.44 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 31097 0 0 0 131 13 0 0 20 0 1 0 1312832 213012480 43976 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 52005 43976 1758 992 0 43863 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 208020 KiB
Current children cumulated memory: 175904 KiB
[startup+3.11279 s]
/proc/loadavg: 4.12 4.16 4.18 5/255 10520
/proc/meminfo: memFree=96683812/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=210580 memory=179532 CPUtime=3.04 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 32024 0 0 0 291 13 0 0 20 0 1 0 1312832 215633920 44883 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 52645 44883 1758 992 0 44503 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 210580 KiB
Current children cumulated memory: 179532 KiB
[startup+6.30028 s]
/proc/loadavg: 4.11 4.16 4.18 5/255 10520
/proc/meminfo: memFree=96585088/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=231736 memory=199592 CPUtime=6.23 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 35467 0 0 0 569 54 0 0 20 0 1 0 1312832 237297664 49898 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 57934 49898 1804 992 0 49792 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 199592 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.16 4.18 5/255 10521
/proc/meminfo: memFree=96323888/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=304252 memory=261784 CPUtime=12.62 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 40331 0 0 0 1155 107 0 0 20 0 1 0 1312832 311554048 65446 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 76063 65446 1868 992 0 67921 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 304252 KiB
Current children cumulated memory: 261784 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.15 4.18 5/255 10523
/proc/meminfo: memFree=95806260/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=451868 memory=401748 CPUtime=25.38 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 62543 0 0 0 2381 157 0 0 20 0 1 0 1312832 462712832 100437 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 112967 100437 1884 992 0 104825 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 451868 KiB
Current children cumulated memory: 401748 KiB
[startup+51.1136 s]
/proc/loadavg: 4.12 4.15 4.18 5/255 10528
/proc/meminfo: memFree=94652788/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=953868 memory=698220 CPUtime=50.94 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 80059 0 0 0 4893 201 0 0 20 0 1 0 1312832 976760832 174555 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 238467 174555 1884 992 0 230325 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 953868 KiB
Current children cumulated memory: 698220 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.18 5/255 10536
/proc/meminfo: memFree=93205024/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=1088524 memory=991300 CPUtime=102.01 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 114112 0 0 0 9922 279 0 0 20 0 1 0 1312832 1114648576 247825 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 272131 247825 1884 992 0 263989 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1088524 KiB
Current children cumulated memory: 991300 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/254 10548
/proc/meminfo: memFree=90926624/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=1741620 memory=1496960 CPUtime=161.87 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 187947 0 0 0 15790 397 0 0 20 0 1 0 1312832 1783418880 374240 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 435405 374240 1884 992 0 427263 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1741620 KiB
Current children cumulated memory: 1496960 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.17 4.18 5/255 10561
/proc/meminfo: memFree=88638140/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=1929520 memory=1673128 CPUtime=221.74 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 207514 0 0 0 21579 595 0 0 20 0 1 0 1312832 1975828480 418282 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 482380 418282 1884 992 0 474238 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 1929520 KiB
Current children cumulated memory: 1673128 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.17 4.18 5/257 10576
/proc/meminfo: memFree=86058944/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=2271000 memory=2102148 CPUtime=281.61 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 285820 0 0 0 27497 664 0 0 20 0 1 0 1312832 2325504000 525537 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 567750 525537 1884 992 0 559608 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 2271000 KiB
Current children cumulated memory: 2102148 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 4.20 4.19 5/256 10586
/proc/meminfo: memFree=83735944/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=2890304 memory=2415892 CPUtime=341.47 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 304215 0 0 0 33409 738 0 0 20 0 1 0 1312832 2959671296 603973 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 722576 603973 1884 992 0 714434 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 2890304 KiB
Current children cumulated memory: 2415892 KiB
[startup+402.3 s]
/proc/loadavg: 4.79 4.36 4.25 5/257 10598
/proc/meminfo: memFree=81468240/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=2937788 memory=2461656 CPUtime=401.34 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 313216 0 0 0 39219 915 0 0 20 0 1 0 1312832 3008294912 615414 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 734447 615414 1884 992 0 726305 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 2937788 KiB
Current children cumulated memory: 2461656 KiB
[startup+462.3 s]
/proc/loadavg: 4.97 4.50 4.30 5/260 10611
/proc/meminfo: memFree=79173916/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=3119936 memory=2639956 CPUtime=461.19 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 357959 0 0 0 44909 1210 0 0 20 0 1 0 1312832 3194814464 659989 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 779984 659989 1884 992 0 771842 0
################
# More data... #
################
/proc/10519/statm: 1988321 1645762 1884 992 0 1980179 0
Current children cumulated CPU time: 2855.31 s
Current children cumulated vsize: 7953284 KiB
Current children cumulated memory: 6583048 KiB
[startup+2922.3 s]
/proc/loadavg: 3.14 3.47 3.82 4/258 12414
/proc/meminfo: memFree=99396444/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=8242176 memory=6860068 CPUtime=2915.16 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1050254 0 0 0 287017 4499 0 0 20 0 1 0 1312832 8439988224 1715017 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2060544 1715017 1884 992 0 2052402 0
Current children cumulated CPU time: 2915.16 s
Current children cumulated vsize: 8242176 KiB
Current children cumulated memory: 6860068 KiB
[startup+2982.3 s]
/proc/loadavg: 3.16 3.41 3.78 4/254 12425
/proc/meminfo: memFree=97993388/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=8792720 memory=7389840 CPUtime=2975.01 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1184613 0 0 0 292911 4590 0 0 20 0 1 0 1312832 9003745280 1847460 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2198180 1847460 1884 992 0 2190038 0
Current children cumulated CPU time: 2975.01 s
Current children cumulated vsize: 8792720 KiB
Current children cumulated memory: 7389840 KiB
[startup+3042.3 s]
/proc/loadavg: 3.06 3.33 3.73 4/253 12435
/proc/meminfo: memFree=97463304/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=8904820 memory=7494224 CPUtime=3034.86 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1212142 0 0 0 298796 4690 0 0 20 0 1 0 1312832 9118535680 1873556 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2226205 1873556 1884 992 0 2218063 0
Current children cumulated CPU time: 3034.86 s
Current children cumulated vsize: 8904820 KiB
Current children cumulated memory: 7494224 KiB
[startup+3102.3 s]
/proc/loadavg: 3.28 3.34 3.70 4/251 12446
/proc/meminfo: memFree=96439704/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=8904820 memory=7494236 CPUtime=3094.71 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1214145 0 0 0 304689 4782 0 0 20 0 1 0 1312832 9118535680 1873559 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2226205 1873559 1884 992 0 2218063 0
Current children cumulated CPU time: 3094.71 s
Current children cumulated vsize: 8904820 KiB
Current children cumulated memory: 7494236 KiB
[startup+3162.3 s]
/proc/loadavg: 3.17 3.29 3.66 4/252 12462
/proc/meminfo: memFree=95123248/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=8906396 memory=7495980 CPUtime=3154.58 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1216235 0 0 0 310594 4864 0 0 20 0 1 0 1312832 9120149504 1873995 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2226599 1873995 1884 992 0 2218457 0
Current children cumulated CPU time: 3154.58 s
Current children cumulated vsize: 8906396 KiB
Current children cumulated memory: 7495980 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.25 3.62 4/252 12475
/proc/meminfo: memFree=94144848/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=8957664 memory=7547260 CPUtime=3214.43 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1230600 0 0 0 316518 4925 0 0 20 0 1 0 1312832 9172647936 1886815 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2239416 1886815 1884 992 0 2231274 0
Current children cumulated CPU time: 3214.43 s
Current children cumulated vsize: 8957664 KiB
Current children cumulated memory: 7547260 KiB
[startup+3282.3 s]
/proc/loadavg: 3.11 3.22 3.59 4/254 12489
/proc/meminfo: memFree=92692548/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=8997384 memory=7586924 CPUtime=3274.3 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1242618 0 0 0 322389 5041 0 0 20 0 1 0 1312832 9213321216 1896731 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2249346 1896731 1884 992 0 2241204 0
Current children cumulated CPU time: 3274.3 s
Current children cumulated vsize: 8997384 KiB
Current children cumulated memory: 7586924 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.20 3.56 4/254 12499
/proc/meminfo: memFree=92121304/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=8999052 memory=7588748 CPUtime=3334.15 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1245377 0 0 0 328166 5249 0 0 20 0 1 0 1312832 9215029248 1897187 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2249763 1897187 1884 992 0 2241621 0
Current children cumulated CPU time: 3334.15 s
Current children cumulated vsize: 8999052 KiB
Current children cumulated memory: 7588748 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.18 3.53 4/254 12512
/proc/meminfo: memFree=91494264/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=9004024 memory=7593672 CPUtime=3394.01 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1248086 0 0 0 334034 5367 0 0 20 0 1 0 1312832 9220120576 1898418 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2251006 1898418 1884 992 0 2242864 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 9004024 KiB
Current children cumulated memory: 7593672 KiB
[startup+3462.3 s]
/proc/loadavg: 3.06 3.16 3.50 4/253 12526
/proc/meminfo: memFree=91008464/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=9004024 memory=7593672 CPUtime=3453.87 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1250028 0 0 0 339834 5553 0 0 20 0 1 0 1312832 9220120576 1898418 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2251006 1898418 1884 992 0 2242864 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 9004024 KiB
Current children cumulated memory: 7593672 KiB
[startup+3522.3 s]
/proc/loadavg: 3.45 3.24 3.50 4/253 12536
/proc/meminfo: memFree=90734064/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=9004024 memory=7593680 CPUtime=3513.73 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1251987 0 0 0 345736 5637 0 0 20 0 1 0 1312832 9220120576 1898420 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2251006 1898420 1884 992 0 2242864 0
Current children cumulated CPU time: 3513.73 s
Current children cumulated vsize: 9004024 KiB
Current children cumulated memory: 7593680 KiB
[startup+3582.3 s]
/proc/loadavg: 3.72 3.38 3.54 4/251 12547
/proc/meminfo: memFree=90137104/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=9004024 memory=7593692 CPUtime=3573.57 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1253999 0 0 0 351657 5700 0 0 20 0 1 0 1312832 9220120576 1898423 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2251006 1898423 1884 992 0 2242864 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 9004024 KiB
Current children cumulated memory: 7593692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 3.47 3.34 3.52 4/251 12551
/proc/meminfo: memFree=89880916/131655788 swapFree=131071996/131071996
[pid=10519] ppid=10516 vsize=9004024 memory=7593700 CPUtime=3600.01 cores=4,6
/proc/10519/stat : 10519 (roundingsat) R 10516 10519 6802 0 -1 4194304 1254773 0 0 0 354280 5721 0 0 20 0 1 0 1312832 9220120576 1898425 134679101440 4194304 8255733 140723061517520 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 33804288 140723061519198 140723061519460 140723061519460 140723061526473 0
/proc/10519/statm: 2251006 1898425 1884 992 0 2242864 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 9004024 KiB
Current children cumulated memory: 7593700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.24 s]
# the end of solver process 10519 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3542.88 s, system=57.4107 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.2 s]*
/proc/loadavg: 3.47 3.34 3.52 4/252 12552
/proc/meminfo: memFree=94806580/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3609.24
CPU time (s): 3600.29
CPU user time (s): 3542.88
CPU system time (s): 57.4107
CPU usage (%): 99.752
Max. virtual memory (cumulated for all children) (KiB): 9004024
Max. memory (cumulated for all children) (KiB): 7593700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3542.88
system time used= 57.4107
maximum resident set size= 7593700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1255082
page faults= 0
swaps= 0
block input operations= 0
block output operations= 54913912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9030
involuntary context switches= 5192
# summary of solver processes directly reported to runsolver:
# pid: 10519
# total CPU time (s): 3600.29
# total CPU user time (s): 3542.88
# total CPU system time (s): 57.4107
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1656 second user time and 36.9147 second system time
The end
Begin job on nodeC002 at 2024-07-30 15:46:12
IDJOB=4462860
IDBENCH=158606
IDSOLVER=3089
FILE ID=nodeC002/4462860-1722347172
RUNJOBID= nodeC002-1722340763-6813
SLURM_JOB_ID= 8248982
Free space on /tmp= 723728 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462860-1722347172/watcher-4462860-1722347172 -o /tmp/evaluation-result-4462860-1722347172/solver-4462860-1722347172 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722340763-6813 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462860-1722347172 --lp-cut-gomory=0 HOME/instance-4462860-1722347172.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=1778411649
nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3665.130
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
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 : 0xb00001f
cpu MHz : 3625.869
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
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 : 0xb00001f
cpu MHz : 1197.256
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
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 : 0xb00001f
cpu MHz : 1197.367
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
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 : 0xb00001f
cpu MHz : 1197.198
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
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 : 0xb00001f
cpu MHz : 3670.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
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 : 0xb00001f
cpu MHz : 1197.224
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.65
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 : 0xb00001f
cpu MHz : 1197.300
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 96961352 kB
MemAvailable: 120500704 kB
Buffers: 55520 kB
Cached: 24285948 kB
SwapCached: 0 kB
Active: 197984 kB
Inactive: 33945228 kB
Active(anon): 1908 kB
Inactive(anon): 9829396 kB
Active(file): 196076 kB
Inactive(file): 24115832 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 603896 kB
Writeback: 0 kB
AnonPages: 9801800 kB
Mapped: 101172 kB
Shmem: 29512 kB
KReclaimable: 134948 kB
Slab: 230548 kB
SReclaimable: 134948 kB
SUnreclaim: 95600 kB
KernelStack: 4080 kB
PageTables: 28436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 11224528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6400 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5425152 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 152392 kB
DirectMap2M: 10237952 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 723748 MiB
End job on nodeC002 at 2024-07-30 16:46:22