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: 64096 MiB (46264 MiB free)
memory of node 1: 64473 MiB (62649 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463107-1722348066/watcher-4463107-1722348066 -o /tmp/evaluation-result-4463107-1722348066/solver-4463107-1722348066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722340763-6263 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463107-1722348066 --lp-cut-gomory=0 HOME/instance-4463107-1722348066.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=10677, runsolver pid=10674
[startup+0.100526 s]*
/proc/loadavg: 4.17 4.19 4.20 5/245 10678
/proc/meminfo: memFree=111514676/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=50460 memory=18096 CPUtime=0.1 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 4525 0 0 0 9 1 0 0 20 0 1 0 1177183 51671040 4524 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 12615 4524 1349 992 0 4473 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50460 KiB
Current children cumulated memory: 18096 KiB
[startup+0.213453 s]*
/proc/loadavg: 4.17 4.19 4.20 5/245 10678
/proc/meminfo: memFree=111494864/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=75560 memory=45632 CPUtime=0.21 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 9611 0 0 0 19 2 0 0 20 0 1 0 1177183 77373440 11408 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 18890 11408 1349 992 0 10748 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 75560 KiB
Current children cumulated memory: 45632 KiB
[startup+0.31326 s]*
/proc/loadavg: 4.17 4.19 4.20 5/245 10678
/proc/meminfo: memFree=111473860/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=88872 memory=55936 CPUtime=0.31 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 10657 0 0 0 28 3 0 0 20 0 1 0 1177183 91004928 13984 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 22218 13984 1349 992 0 14076 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 88872 KiB
Current children cumulated memory: 55936 KiB
[startup+0.700318 s]
/proc/loadavg: 4.17 4.19 4.20 5/245 10678
/proc/meminfo: memFree=111460272/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=123156 memory=91500 CPUtime=0.68 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 13154 0 0 0 63 5 0 0 20 0 1 0 1177183 126111744 22875 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 30789 22875 1620 992 0 22647 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123156 KiB
Current children cumulated memory: 91500 KiB
[startup+1.50035 s]
/proc/loadavg: 4.24 4.20 4.21 5/244 10681
/proc/meminfo: memFree=111393988/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=207312 memory=174752 CPUtime=1.48 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 30371 0 0 0 139 9 0 0 20 0 1 0 1177183 212287488 43688 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 51828 43688 1700 992 0 43686 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 207312 KiB
Current children cumulated memory: 174752 KiB
[startup+3.11311 s]
/proc/loadavg: 4.24 4.20 4.21 4/250 10698
/proc/meminfo: memFree=111323540/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=230516 memory=196252 CPUtime=3.08 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 33646 0 0 0 262 46 0 0 20 0 1 0 1177183 236048384 49063 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 57629 49063 1730 992 0 49487 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 230516 KiB
Current children cumulated memory: 196252 KiB
[startup+6.30031 s]
/proc/loadavg: 4.22 4.20 4.21 4/250 10698
/proc/meminfo: memFree=111259516/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=291980 memory=230224 CPUtime=6.26 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 35030 0 0 0 546 80 0 0 20 0 1 0 1177183 298987520 57556 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 72995 57556 1745 992 0 64853 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 291980 KiB
Current children cumulated memory: 230224 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.20 4.20 5/250 10699
/proc/meminfo: memFree=110523160/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=298872 memory=254324 CPUtime=12.65 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 36955 0 0 0 1163 102 0 0 20 0 1 0 1177183 306044928 63581 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 74718 63581 1745 992 0 66576 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 298872 KiB
Current children cumulated memory: 254324 KiB
[startup+25.5004 s]
/proc/loadavg: 4.17 4.19 4.20 5/245 10701
/proc/meminfo: memFree=110181000/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=437988 memory=363480 CPUtime=25.41 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 59134 0 0 0 2409 132 0 0 20 0 1 0 1177183 448499712 90870 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 109497 90870 1834 992 0 101355 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 437988 KiB
Current children cumulated memory: 363480 KiB
[startup+51.113 s]
/proc/loadavg: 4.15 4.19 4.20 5/245 10705
/proc/meminfo: memFree=109457936/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=667304 memory=626932 CPUtime=50.94 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 95955 0 0 0 4848 246 0 0 20 0 1 0 1177183 683319296 156733 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 166826 156733 1834 992 0 158684 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 667304 KiB
Current children cumulated memory: 626932 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.17 4.19 5/246 10716
/proc/meminfo: memFree=107584828/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=869656 memory=826716 CPUtime=101.95 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 141443 0 0 0 9771 424 0 0 20 0 1 0 1177183 890527744 206679 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 217414 206679 1834 992 0 209272 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 869656 KiB
Current children cumulated memory: 826716 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.19 4.19 4/243 11224
/proc/meminfo: memFree=125052152/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=1681644 memory=1393224 CPUtime=161.77 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 167730 0 0 0 15657 520 0 0 20 0 1 0 1177183 1722003456 348306 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 420411 348306 1834 992 0 412269 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1681644 KiB
Current children cumulated memory: 1393224 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/249 11630
/proc/meminfo: memFree=124161264/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=2367744 memory=1890980 CPUtime=221.59 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 197796 0 0 0 21566 593 0 0 20 0 1 0 1177183 2424569856 472745 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 591936 472745 1834 992 0 583794 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 2367744 KiB
Current children cumulated memory: 1890980 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.13 4.17 5/247 11641
/proc/meminfo: memFree=123715248/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=2376364 memory=1899412 CPUtime=281.41 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 199978 0 0 0 27447 694 0 0 20 0 1 0 1177183 2433396736 474853 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 594091 474853 1834 992 0 585949 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 2376364 KiB
Current children cumulated memory: 1899412 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/247 11652
/proc/meminfo: memFree=122967056/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=2404656 memory=1927400 CPUtime=341.21 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 204296 0 0 0 33375 746 0 0 20 0 1 0 1177183 2462367744 481850 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 601164 481850 1834 992 0 593022 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 2404656 KiB
Current children cumulated memory: 1927400 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/248 11663
/proc/meminfo: memFree=122485160/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=2525396 memory=2176816 CPUtime=401.01 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 234803 0 0 0 39295 806 0 0 20 0 1 0 1177183 2586005504 544204 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 631349 544204 1834 992 0 623207 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 2525396 KiB
Current children cumulated memory: 2176816 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/246 11673
/proc/meminfo: memFree=121623716/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=3597460 memory=2718216 CPUtime=460.82 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 273324 0 0 0 45157 925 0 0 20 0 1 0 1177183 3683799040 679554 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 899365 679554 1834 992 0 891223 0
################
# More data... #
################
/proc/10677/statm: 2038242 1688345 1922 992 0 2030100 0
Current children cumulated CPU time: 2912.49 s
Current children cumulated vsize: 8152968 KiB
Current children cumulated memory: 6753380 KiB
[startup+2982.3 s]
/proc/loadavg: 3.16 3.21 3.42 4/248 12805
/proc/meminfo: memFree=71899276/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8176320 memory=6776580 CPUtime=2972.29 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 1054411 0 0 0 292372 4857 0 0 20 0 1 0 1177183 8372551680 1694145 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2044080 1694145 1922 992 0 2035938 0
Current children cumulated CPU time: 2972.29 s
Current children cumulated vsize: 8176320 KiB
Current children cumulated memory: 6776580 KiB
[startup+3042.3 s]
/proc/loadavg: 3.10 3.18 3.39 4/248 12815
/proc/meminfo: memFree=71196728/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8213648 memory=6813860 CPUtime=3032.09 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 1064914 0 0 0 298234 4975 0 0 20 0 1 0 1177183 8410775552 1703465 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2053412 1703465 1922 992 0 2045270 0
Current children cumulated CPU time: 3032.09 s
Current children cumulated vsize: 8213648 KiB
Current children cumulated memory: 6813860 KiB
[startup+3102.3 s]
/proc/loadavg: 3.12 3.18 3.37 4/249 12827
/proc/meminfo: memFree=70080332/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8289088 memory=6884884 CPUtime=3091.88 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 1083808 0 0 0 304108 5080 0 0 20 0 1 0 1177183 8488026112 1721221 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2072272 1721221 1922 992 0 2064130 0
Current children cumulated CPU time: 3091.88 s
Current children cumulated vsize: 8289088 KiB
Current children cumulated memory: 6884884 KiB
[startup+3162.3 s]
/proc/loadavg: 3.29 3.21 3.37 4/247 12837
/proc/meminfo: memFree=68866028/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8296532 memory=6892416 CPUtime=3151.68 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 1087453 0 0 0 310013 5155 0 0 20 0 1 0 1177183 8495648768 1723104 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2074133 1723104 1922 992 0 2065991 0
Current children cumulated CPU time: 3151.68 s
Current children cumulated vsize: 8296532 KiB
Current children cumulated memory: 6892416 KiB
[startup+3222.3 s]
/proc/loadavg: 3.21 3.20 3.35 4/247 12848
/proc/meminfo: memFree=68076444/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8296856 memory=6892740 CPUtime=3211.47 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 1090250 0 0 0 315749 5398 0 0 20 0 1 0 1177183 8495980544 1723185 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2074214 1723185 1922 992 0 2066072 0
Current children cumulated CPU time: 3211.47 s
Current children cumulated vsize: 8296856 KiB
Current children cumulated memory: 6892740 KiB
[startup+3282.3 s]
/proc/loadavg: 3.13 3.17 3.34 4/246 13242
/proc/meminfo: memFree=67265968/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8318604 memory=6914344 CPUtime=3271.27 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 1096897 0 0 0 321650 5477 0 0 20 0 1 0 1177183 8518250496 1728586 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2079651 1728586 1922 992 0 2071509 0
Current children cumulated CPU time: 3271.27 s
Current children cumulated vsize: 8318604 KiB
Current children cumulated memory: 6914344 KiB
[startup+3342.3 s]
/proc/loadavg: 3.20 3.19 3.33 4/247 13254
/proc/meminfo: memFree=66270796/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8401292 memory=6994828 CPUtime=3331.06 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 1117719 0 0 0 327476 5630 0 0 20 0 1 0 1177183 8602923008 1748707 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2100323 1748707 1922 992 0 2092181 0
Current children cumulated CPU time: 3331.06 s
Current children cumulated vsize: 8401292 KiB
Current children cumulated memory: 6994828 KiB
[startup+3402.3 s]
/proc/loadavg: 3.17 3.18 3.32 4/247 13265
/proc/meminfo: memFree=65194096/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8411904 memory=7005712 CPUtime=3390.86 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 1121680 0 0 0 333387 5699 0 0 20 0 1 0 1177183 8613789696 1751428 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2102976 1751428 1922 992 0 2094834 0
Current children cumulated CPU time: 3390.86 s
Current children cumulated vsize: 8411904 KiB
Current children cumulated memory: 7005712 KiB
[startup+3462.3 s]
/proc/loadavg: 3.17 3.18 3.31 4/248 13445
/proc/meminfo: memFree=64189336/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8509360 memory=7096812 CPUtime=3450.65 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 1145724 0 0 0 339268 5797 0 0 20 0 1 0 1177183 8713584640 1774203 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2127340 1774203 1922 992 0 2119198 0
Current children cumulated CPU time: 3450.65 s
Current children cumulated vsize: 8509360 KiB
Current children cumulated memory: 7096812 KiB
[startup+3522.3 s]
/proc/loadavg: 3.17 3.17 3.30 4/248 13456
/proc/meminfo: memFree=63561704/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8511284 memory=7098828 CPUtime=3510.45 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 1147494 0 0 0 345200 5845 0 0 20 0 1 0 1177183 8715554816 1774707 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2127821 1774707 1922 992 0 2119679 0
Current children cumulated CPU time: 3510.45 s
Current children cumulated vsize: 8511284 KiB
Current children cumulated memory: 7098828 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.17 3.28 7/248 13470
/proc/meminfo: memFree=62773736/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8519556 memory=7106884 CPUtime=3570.25 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 1150903 0 0 0 351143 5882 0 0 20 0 1 0 1177183 8724025344 1776721 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2129889 1776721 1922 992 0 2121747 0
Current children cumulated CPU time: 3570.25 s
Current children cumulated vsize: 8519556 KiB
Current children cumulated memory: 7106884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 3.16 3.17 3.28 4/247 13486
/proc/meminfo: memFree=62380224/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8528108 memory=7115604 CPUtime=3600.05 cores=0,2
/proc/10677/stat : 10677 (roundingsat) R 10674 10677 6253 0 -1 4194304 1153807 0 0 0 354104 5901 0 0 20 0 1 0 1177183 8732782592 1778901 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2132027 1778901 1922 992 0 2123885 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 8528108 KiB
Current children cumulated memory: 7115604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.71 s]
# the end of solver process 10677 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3541.13 s, system=59.2297 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.4 s]
/proc/loadavg: 3.16 3.17 3.28 4/247 13486
/proc/meminfo: memFree=62380224/131655788 swapFree=131071216/131071996
[pid=10677] ppid=10674 vsize=8528108 memory=7115604 CPUtime=3600.11 cores=0,2
/proc/10677/stat : 10677 (roundingsat) D 10674 10677 6253 0 -1 4194304 1153810 0 0 0 354105 5906 0 0 20 0 1 0 1177183 8732782592 1778901 134679101440 4194304 8255733 140730233443280 0 0 0 0 0 25182210 0 0 0 17 0 0 0 16 0 0 9037040 9046032 19755008 140730233447266 140730233447528 140730233447528 140730233454537 0
/proc/10677/statm: 2132027 1778901 1922 992 0 2123885 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 8528108 KiB
Current children cumulated memory: 7115604 KiB
[startup+3612.6 s]*
/proc/loadavg: 3.16 3.17 3.28 4/248 13487
/proc/meminfo: memFree=64783160/131655788 swapFree=131071216/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): 3612.71
CPU time (s): 3600.36
CPU user time (s): 3541.13
CPU system time (s): 59.2297
CPU usage (%): 99.658
Max. virtual memory (cumulated for all children) (KiB): 8528108
Max. memory (cumulated for all children) (KiB): 7115604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3541.13
system time used= 59.2297
maximum resident set size= 7115604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1154211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 45937272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14217
involuntary context switches= 25388
# summary of solver processes directly reported to runsolver:
# pid: 10677
# total CPU time (s): 3600.36
# total CPU user time (s): 3541.13
# total CPU system time (s): 59.2297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9766 second user time and 36.1404 second system time
The end
Begin job on nodeC007 at 2024-07-30 16:01:06
IDJOB=4463107
IDBENCH=160470
IDSOLVER=3089
FILE ID=nodeC007/4463107-1722348066
RUNJOBID= nodeC007-1722340763-6263
SLURM_JOB_ID= 8248987
Free space on /tmp= 723724 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-dec.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-4463107-1722348066/watcher-4463107-1722348066 -o /tmp/evaluation-result-4463107-1722348066/solver-4463107-1722348066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722340763-6263 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463107-1722348066 --lp-cut-gomory=0 HOME/instance-4463107-1722348066.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6b93b615aedbdc1b5251d82df8eef612
RANDOM SEED=493616191
nodeC007.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 : 3491.795
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.58
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 : 3655.269
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.35
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.211
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.58
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.421
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.35
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 : 3638.361
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.58
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 : 3655.276
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.35
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.420
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.58
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.218
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 111528532 kB
MemAvailable: 126027060 kB
Buffers: 44036 kB
Cached: 15280032 kB
SwapCached: 100 kB
Active: 186784 kB
Inactive: 19482464 kB
Active(anon): 1616 kB
Inactive(anon): 4364732 kB
Active(file): 185168 kB
Inactive(file): 15117732 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 117412 kB
Writeback: 0 kB
AnonPages: 4341820 kB
Mapped: 94352 kB
Shmem: 21076 kB
KReclaimable: 71652 kB
Slab: 149632 kB
SReclaimable: 71652 kB
SUnreclaim: 77980 kB
KernelStack: 3936 kB
PageTables: 17624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4877632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6240 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3502080 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: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC007 at 2024-07-30 17:01:19