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 (62848 MiB free)
memory of node 1: 64473 MiB (63906 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463032-1722344455/watcher-4463032-1722344455 -o /tmp/evaluation-result-4463032-1722344455/solver-4463032-1722344455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722340763-6544 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463032-1722344455 --lp-cut-gomory=0 HOME/instance-4463032-1722344455.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=8911, runsolver pid=8908
[startup+0.100088 s]*
/proc/loadavg: 4.09 4.12 4.09 4/248 8912
/proc/meminfo: memFree=129794756/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=37376 memory=2580 CPUtime=0 cores=1,3
/proc/8911/stat : 8911 (roundingsat) D 8908 8911 6532 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 816723 38273024 645 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 9344 645 588 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB
[startup+0.213619 s]*
/proc/loadavg: 4.09 4.12 4.09 4/248 8912
/proc/meminfo: memFree=129789708/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=37376 memory=2580 CPUtime=0 cores=1,3
/proc/8911/stat : 8911 (roundingsat) D 8908 8911 6532 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 816723 38273024 645 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 9344 645 588 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB
[startup+0.312779 s]*
/proc/loadavg: 4.09 4.12 4.09 4/248 8912
/proc/meminfo: memFree=129765348/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=37376 memory=2580 CPUtime=0 cores=1,3
/proc/8911/stat : 8911 (roundingsat) D 8908 8911 6532 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 816723 38273024 645 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 9344 645 588 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB
[startup+0.700347 s]
/proc/loadavg: 4.09 4.12 4.09 5/248 8912
/proc/meminfo: memFree=129655908/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=37376 memory=2580 CPUtime=0 cores=1,3
/proc/8911/stat : 8911 (roundingsat) D 8908 8911 6532 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 816723 38273024 645 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 9344 645 588 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB
[startup+1.50026 s]
/proc/loadavg: 4.09 4.12 4.09 4/248 8912
/proc/meminfo: memFree=129685220/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=37376 memory=2580 CPUtime=0 cores=1,3
/proc/8911/stat : 8911 (roundingsat) D 8908 8911 6532 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 816723 38273024 645 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 9344 645 588 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB
[startup+3.11327 s]
/proc/loadavg: 4.09 4.12 4.09 4/248 8912
/proc/meminfo: memFree=129680984/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=37376 memory=2580 CPUtime=0 cores=1,3
/proc/8911/stat : 8911 (roundingsat) D 8908 8911 6532 0 -1 1077936128 219 0 0 0 0 0 0 0 20 0 1 0 816723 38273024 645 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 9344 645 588 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB
heavy processes:
[startup+6.30027 s]
/proc/loadavg: 4.16 4.13 4.09 5/248 8923
/proc/meminfo: memFree=129572856/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=114476 memory=67640 CPUtime=2.81 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 11436 0 0 0 215 66 0 0 20 0 1 0 816723 117223424 16910 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 28619 16910 1379 992 0 20477 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 114476 KiB
Current children cumulated memory: 67640 KiB
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 4.15 4.13 4.09 5/248 8924
/proc/meminfo: memFree=128744656/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=829036 memory=784172 CPUtime=9.19 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 116054 0 0 0 767 152 0 0 20 0 1 0 816723 848932864 196043 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 207259 196043 1666 992 0 199117 0
Current children cumulated CPU time: 9.19 s
Current children cumulated vsize: 829036 KiB
Current children cumulated memory: 784172 KiB
heavy processes:
[startup+25.5003 s]
/proc/loadavg: 4.12 4.12 4.09 5/248 8926
/proc/meminfo: memFree=128705992/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=829036 memory=786828 CPUtime=21.96 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 116235 0 0 0 2030 166 0 0 20 0 1 0 816723 848932864 196707 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 207259 196707 1810 992 0 199117 0
Current children cumulated CPU time: 21.96 s
Current children cumulated vsize: 829036 KiB
Current children cumulated memory: 786828 KiB
[startup+51.1132 s]
/proc/loadavg: 4.16 4.13 4.09 5/248 8931
/proc/meminfo: memFree=128600416/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=829036 memory=786828 CPUtime=47.48 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 116417 0 0 0 4574 174 0 0 20 0 1 0 816723 848932864 196707 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 207259 196707 1810 992 0 199117 0
Current children cumulated CPU time: 47.48 s
Current children cumulated vsize: 829036 KiB
Current children cumulated memory: 786828 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/248 8941
/proc/meminfo: memFree=128112836/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=829036 memory=786828 CPUtime=98.5 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 116643 0 0 0 9661 189 0 0 20 0 1 0 816723 848932864 196707 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 207259 196707 1810 992 0 199117 0
Current children cumulated CPU time: 98.5 s
Current children cumulated vsize: 829036 KiB
Current children cumulated memory: 786828 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/248 8951
/proc/meminfo: memFree=127972916/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=829036 memory=790924 CPUtime=158.28 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 116889 0 0 0 15616 212 0 0 20 0 1 0 816723 848932864 197731 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 207259 197731 1810 992 0 199117 0
Current children cumulated CPU time: 158.28 s
Current children cumulated vsize: 829036 KiB
Current children cumulated memory: 790924 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/247 8962
/proc/meminfo: memFree=127879192/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=829036 memory=797068 CPUtime=218.07 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 117034 0 0 0 21562 245 0 0 20 0 1 0 816723 848932864 199267 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 207259 199267 1810 992 0 199117 0
Current children cumulated CPU time: 218.07 s
Current children cumulated vsize: 829036 KiB
Current children cumulated memory: 797068 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/247 8973
/proc/meminfo: memFree=127722288/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=829036 memory=797068 CPUtime=277.85 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 117193 0 0 0 27530 255 0 0 20 0 1 0 816723 848932864 199267 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 207259 199267 1810 992 0 199117 0
Current children cumulated CPU time: 277.85 s
Current children cumulated vsize: 829036 KiB
Current children cumulated memory: 797068 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/244 8986
/proc/meminfo: memFree=127084936/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=829036 memory=797068 CPUtime=337.63 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 117375 0 0 0 33504 259 0 0 20 0 1 0 816723 848932864 199267 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 207259 199267 1810 992 0 199117 0
Current children cumulated CPU time: 337.63 s
Current children cumulated vsize: 829036 KiB
Current children cumulated memory: 797068 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/244 8996
/proc/meminfo: memFree=126957076/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=829036 memory=797068 CPUtime=397.39 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 117490 0 0 0 39476 263 0 0 20 0 1 0 816723 848932864 199267 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 207259 199267 1810 992 0 199117 0
Current children cumulated CPU time: 397.39 s
Current children cumulated vsize: 829036 KiB
Current children cumulated memory: 797068 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/244 9007
/proc/meminfo: memFree=126826704/131655788 swapFree=131071996/131071996
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.39 4.28 4.17 5/251 10215
/proc/meminfo: memFree=112957288/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953144 CPUtime=3030.28 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 154044 0 0 0 302292 736 0 0 20 0 1 0 816723 1164668928 238286 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238286 1810 992 0 276201 0
Current children cumulated CPU time: 3030.28 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953144 KiB
[startup+3102.3 s]
/proc/loadavg: 4.80 4.43 4.23 5/251 10226
/proc/meminfo: memFree=112435576/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953144 CPUtime=3090.14 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 154242 0 0 0 308269 745 0 0 20 0 1 0 816723 1164668928 238286 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238286 1810 992 0 276201 0
Current children cumulated CPU time: 3090.14 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953144 KiB
[startup+3162.3 s]
/proc/loadavg: 4.46 4.39 4.23 5/251 10237
/proc/meminfo: memFree=112163048/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953144 CPUtime=3150.01 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 154671 0 0 0 314220 781 0 0 20 0 1 0 816723 1164668928 238286 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238286 1810 992 0 276201 0
Current children cumulated CPU time: 3150.01 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953144 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.34 4.22 5/251 10247
/proc/meminfo: memFree=111785220/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953144 CPUtime=3209.87 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 154879 0 0 0 320185 802 0 0 20 0 1 0 816723 1164668928 238286 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238286 1810 992 0 276201 0
Current children cumulated CPU time: 3209.87 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953144 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.30 4.21 5/250 10257
/proc/meminfo: memFree=111403836/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953756 CPUtime=3269.73 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 155218 0 0 0 326138 835 0 0 20 0 1 0 816723 1164668928 238439 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238439 1810 992 0 276201 0
Current children cumulated CPU time: 3269.73 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953756 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.26 4.20 5/247 10652
/proc/meminfo: memFree=111145700/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953756 CPUtime=3329.54 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 155416 0 0 0 332116 838 0 0 20 0 1 0 816723 1164668928 238439 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238439 1810 992 0 276201 0
Current children cumulated CPU time: 3329.54 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953756 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.23 4.19 5/247 10662
/proc/meminfo: memFree=110804024/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953756 CPUtime=3389.35 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 155614 0 0 0 338094 841 0 0 20 0 1 0 816723 1164668928 238439 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238439 1810 992 0 276201 0
Current children cumulated CPU time: 3389.35 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953756 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/247 10672
/proc/meminfo: memFree=110412364/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953756 CPUtime=3449.17 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 155813 0 0 0 344072 845 0 0 20 0 1 0 816723 1164668928 238439 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238439 1810 992 0 276201 0
Current children cumulated CPU time: 3449.17 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953756 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.17 4.17 5/249 10853
/proc/meminfo: memFree=109962600/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953756 CPUtime=3508.99 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 156013 0 0 0 350050 849 0 0 20 0 1 0 816723 1164668928 238439 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238439 1810 992 0 276201 0
Current children cumulated CPU time: 3508.99 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953756 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.17 4/250 10912
/proc/meminfo: memFree=114893632/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953756 CPUtime=3568.8 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 156213 0 0 0 356027 853 0 0 20 0 1 0 816723 1164668928 238439 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238439 1810 992 0 276201 0
Current children cumulated CPU time: 3568.8 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.14 4.17 4.17 5/249 11021
/proc/meminfo: memFree=119277964/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953756 CPUtime=3600 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 156320 0 0 0 359145 855 0 0 20 0 1 0 816723 1164668928 238439 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238439 1810 992 0 276201 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3617.55 s]
# the end of solver process 8911 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3593.45 s, system=8.55785 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.14 4.17 4.17 5/249 11021
/proc/meminfo: memFree=119268364/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953756 CPUtime=3600.8 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 156320 0 0 0 359225 855 0 0 20 0 1 0 816723 1164668928 238439 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238439 1810 992 0 276201 0
Current children cumulated CPU time: 3600.8 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953756 KiB
[startup+3615.2 s]
/proc/loadavg: 4.14 4.17 4.17 5/249 11021
/proc/meminfo: memFree=119258332/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953756 CPUtime=3601.6 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 156352 0 0 0 359305 855 0 0 20 0 1 0 816723 1164668928 238439 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238439 1810 992 0 276201 0
Current children cumulated CPU time: 3601.6 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953756 KiB
[startup+3615.6 s]
/proc/loadavg: 4.14 4.17 4.17 5/249 11021
/proc/meminfo: memFree=119258332/131655788 swapFree=131071996/131071996
[pid=8911] ppid=8908 vsize=1137372 memory=953756 CPUtime=3601.99 cores=1,3
/proc/8911/stat : 8911 (roundingsat) R 8908 8911 6532 0 -1 4194304 156359 0 0 0 359344 855 0 0 20 0 1 0 816723 1164668928 238439 134679101440 4194304 8255733 140724481044976 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 37961728 140724481053534 140724481053796 140724481053796 140724481060809 0
/proc/8911/statm: 284343 238439 1810 992 0 276201 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 1137372 KiB
Current children cumulated memory: 953756 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3617.55
CPU time (s): 3602.01
CPU user time (s): 3593.45
CPU system time (s): 8.55785
CPU usage (%): 99.5704
Max. virtual memory (cumulated for all children) (KiB): 1255940
Max. memory (cumulated for all children) (KiB): 1057604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.45
system time used= 8.55785
maximum resident set size= 1065192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 84336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 4726
# summary of solver processes directly reported to runsolver:
# pid: 8911
# total CPU time (s): 3602.01
# total CPU user time (s): 3593.45
# total CPU system time (s): 8.55785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5399 second user time and 35.9758 second system time
The end
Begin job on nodeC004 at 2024-07-30 15:00:56
IDJOB=4463032
IDBENCH=155547
IDSOLVER=3089
FILE ID=nodeC004/4463032-1722344455
RUNJOBID= nodeC004-1722340763-6544
SLURM_JOB_ID= 8248984
Free space on /tmp= 723652 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-121.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-4463032-1722344455/watcher-4463032-1722344455 -o /tmp/evaluation-result-4463032-1722344455/solver-4463032-1722344455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722340763-6544 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463032-1722344455 --lp-cut-gomory=0 HOME/instance-4463032-1722344455.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 385cc980e0c43194d9e7f2f21b5d5aa0
RANDOM SEED=851038885
nodeC004.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 : 3646.592
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.85
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 : 1796.183
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.39
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.244
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.85
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.335
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.39
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 : 3636.275
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.85
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 : 1795.849
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.39
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.371
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.85
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.909
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129798824 kB
MemAvailable: 129553660 kB
Buffers: 45264 kB
Cached: 546624 kB
SwapCached: 0 kB
Active: 192928 kB
Inactive: 1239848 kB
Active(anon): 1432 kB
Inactive(anon): 860768 kB
Active(file): 191496 kB
Inactive(file): 379080 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 183128 kB
Writeback: 8 kB
AnonPages: 840500 kB
Mapped: 96324 kB
Shmem: 21320 kB
KReclaimable: 48920 kB
Slab: 125096 kB
SReclaimable: 48920 kB
SUnreclaim: 76176 kB
KernelStack: 3984 kB
PageTables: 10796 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1160964 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6176 kB
HardwareCorrupted: 0 kB
AnonHugePages: 522240 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: 172872 kB
DirectMap2M: 9168896 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723696 MiB
End job on nodeC004 at 2024-07-30 16:01:14