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 (60388 MiB free)
memory of node 1: 64473 MiB (61340 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463269-1722348253/watcher-4463269-1722348253 -o /tmp/evaluation-result-4463269-1722348253/solver-4463269-1722348253 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722340763-6264 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463269-1722348253 --lp-cut-gomory=0 HOME/instance-4463269-1722348253.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=11623, runsolver pid=11620
[startup+0.100324 s]*
/proc/loadavg: 4.16 4.17 4.18 5/249 11624
/proc/meminfo: memFree=124644668/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=41568 memory=11584 CPUtime=0.1 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 1430 0 0 0 9 1 0 0 20 0 1 0 1195960 42565632 2896 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 10392 2896 1814 992 0 2250 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41568 KiB
Current children cumulated memory: 11584 KiB
[startup+0.213689 s]*
/proc/loadavg: 4.16 4.17 4.18 5/249 11624
/proc/meminfo: memFree=124636448/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=42268 memory=12640 CPUtime=0.22 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 1746 0 0 0 20 2 0 0 20 0 1 0 1195960 43282432 3160 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 10567 3160 1814 992 0 2425 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 42268 KiB
Current children cumulated memory: 12640 KiB
[startup+0.313555 s]*
/proc/loadavg: 4.16 4.17 4.18 5/249 11624
/proc/meminfo: memFree=124629696/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=43636 memory=14224 CPUtime=0.32 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 2095 0 0 0 30 2 0 0 20 0 1 0 1195960 44683264 3556 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 10909 3556 1814 992 0 2767 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 43636 KiB
Current children cumulated memory: 14224 KiB
[startup+0.700342 s]
/proc/loadavg: 4.16 4.17 4.18 5/249 11624
/proc/meminfo: memFree=124621988/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=44576 memory=17324 CPUtime=0.68 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 2400 0 0 0 66 2 0 0 20 0 1 0 1195960 45645824 4331 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 11144 4331 1814 992 0 3002 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44576 KiB
Current children cumulated memory: 17324 KiB
[startup+1.50034 s]
/proc/loadavg: 4.16 4.17 4.18 5/249 11624
/proc/meminfo: memFree=124606872/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=47280 memory=20228 CPUtime=1.48 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 3138 0 0 0 144 4 0 0 20 0 1 0 1195960 48414720 5057 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 11820 5057 1814 992 0 3678 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 47280 KiB
Current children cumulated memory: 20228 KiB
[startup+3.11343 s]
/proc/loadavg: 4.14 4.17 4.18 5/249 11626
/proc/meminfo: memFree=124557296/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=55248 memory=26928 CPUtime=3.09 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 4685 0 0 0 302 7 0 0 20 0 1 0 1195960 56573952 6732 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 13812 6732 1907 992 0 5670 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 55248 KiB
Current children cumulated memory: 26928 KiB
[startup+6.30032 s]
/proc/loadavg: 4.14 4.17 4.18 5/249 11626
/proc/meminfo: memFree=124498260/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=61316 memory=33252 CPUtime=6.27 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 5760 0 0 0 617 10 0 0 20 0 1 0 1195960 62787584 8313 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 15329 8313 1922 992 0 7187 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61316 KiB
Current children cumulated memory: 33252 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.16 4.18 5/249 11627
/proc/meminfo: memFree=124391352/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=64112 memory=35880 CPUtime=12.66 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 6397 0 0 0 1252 14 0 0 20 0 1 0 1195960 65650688 8970 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 16028 8970 1922 992 0 7886 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 64112 KiB
Current children cumulated memory: 35880 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.17 4.18 5/249 11629
/proc/meminfo: memFree=124216756/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=79952 memory=49460 CPUtime=25.42 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 8806 0 0 0 2521 21 0 0 20 0 1 0 1195960 81870848 12365 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 19988 12365 1922 992 0 11846 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 79952 KiB
Current children cumulated memory: 49460 KiB
[startup+51.1134 s]
/proc/loadavg: 4.12 4.16 4.18 5/249 11632
/proc/meminfo: memFree=124078572/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=99772 memory=62444 CPUtime=50.97 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 10995 0 0 0 5068 29 0 0 20 0 1 0 1195960 102166528 15611 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 24943 15611 1922 992 0 16801 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 99772 KiB
Current children cumulated memory: 62444 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.16 4.18 5/247 11644
/proc/meminfo: memFree=123668396/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=110236 memory=74956 CPUtime=102.03 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 13124 0 0 0 10160 43 0 0 20 0 1 0 1195960 112881664 18739 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 27559 18739 1922 992 0 19417 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 110236 KiB
Current children cumulated memory: 74956 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/248 11655
/proc/meminfo: memFree=122934864/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=113160 memory=78560 CPUtime=161.88 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 14156 0 0 0 16131 57 0 0 20 0 1 0 1195960 115875840 19640 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 28290 19640 1922 992 0 20148 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 113160 KiB
Current children cumulated memory: 78560 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/248 11665
/proc/meminfo: memFree=122349660/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=115932 memory=82676 CPUtime=221.73 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 15217 0 0 0 22105 68 0 0 20 0 1 0 1195960 118714368 20669 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 28983 20669 1922 992 0 20841 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 115932 KiB
Current children cumulated memory: 82676 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.12 4.16 5/246 11675
/proc/meminfo: memFree=121528496/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=117632 memory=87324 CPUtime=281.57 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 15828 0 0 0 28081 76 0 0 20 0 1 0 1195960 120455168 21831 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 29408 21831 1922 992 0 21266 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 117632 KiB
Current children cumulated memory: 87324 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/243 11687
/proc/meminfo: memFree=120770656/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=137360 memory=88116 CPUtime=341.42 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 16089 0 0 0 34055 87 0 0 20 0 1 0 1195960 140656640 22029 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 34340 22029 1922 992 0 26198 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 137360 KiB
Current children cumulated memory: 88116 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/247 11705
/proc/meminfo: memFree=119831516/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=139664 memory=90452 CPUtime=401.27 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 16681 0 0 0 40030 97 0 0 20 0 1 0 1195960 143015936 22613 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 34916 22613 1922 992 0 26774 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 139664 KiB
Current children cumulated memory: 90452 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.15 5/248 11716
/proc/meminfo: memFree=119333744/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=150232 memory=100728 CPUtime=461.11 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 18863 0 0 0 46006 105 0 0 20 0 1 0 1195960 153837568 25182 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 37558 25182 1922 992 0 29416 0
################
# More data... #
################
Current children cumulated memory: 192244 KiB
[startup+2922.3 s]
/proc/loadavg: 3.11 3.17 3.37 4/249 12830
/proc/meminfo: memFree=69913412/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=247716 memory=194740 CPUtime=2913.59 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 34188 0 0 0 291064 295 0 0 20 0 1 0 1195960 253661184 48685 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 61929 48685 1922 992 0 53787 0
Current children cumulated CPU time: 2913.59 s
Current children cumulated vsize: 247716 KiB
Current children cumulated memory: 194740 KiB
[startup+2982.3 s]
/proc/loadavg: 3.27 3.20 3.37 4/247 12840
/proc/meminfo: memFree=68760536/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=248356 memory=197008 CPUtime=2973.4 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 34307 0 0 0 297042 298 0 0 20 0 1 0 1195960 254316544 49252 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 62089 49252 1922 992 0 53947 0
Current children cumulated CPU time: 2973.4 s
Current children cumulated vsize: 248356 KiB
Current children cumulated memory: 197008 KiB
[startup+3042.3 s]
/proc/loadavg: 3.20 3.19 3.35 4/247 12851
/proc/meminfo: memFree=67973028/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=250148 memory=198548 CPUtime=3033.21 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 34680 0 0 0 303020 301 0 0 20 0 1 0 1195960 256151552 49637 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 62537 49637 1922 992 0 54395 0
Current children cumulated CPU time: 3033.21 s
Current children cumulated vsize: 250148 KiB
Current children cumulated memory: 198548 KiB
[startup+3102.3 s]
/proc/loadavg: 3.20 3.19 3.34 4/246 13246
/proc/meminfo: memFree=67148992/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=251684 memory=201608 CPUtime=3093.02 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 34938 0 0 0 308998 304 0 0 20 0 1 0 1195960 257724416 50402 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 62921 50402 1922 992 0 54779 0
Current children cumulated CPU time: 3093.02 s
Current children cumulated vsize: 251684 KiB
Current children cumulated memory: 201608 KiB
[startup+3162.3 s]
/proc/loadavg: 3.18 3.18 3.33 4/247 13257
/proc/meminfo: memFree=66086360/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=252700 memory=202612 CPUtime=3152.82 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 35236 0 0 0 314975 307 0 0 20 0 1 0 1195960 258764800 50653 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 63175 50653 1922 992 0 55033 0
Current children cumulated CPU time: 3152.82 s
Current children cumulated vsize: 252700 KiB
Current children cumulated memory: 202612 KiB
[startup+3222.3 s]
/proc/loadavg: 3.16 3.18 3.32 4/247 13268
/proc/meminfo: memFree=65090844/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=252700 memory=202876 CPUtime=3212.62 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 35292 0 0 0 320953 309 0 0 20 0 1 0 1195960 258764800 50719 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 63175 50719 1922 992 0 55033 0
Current children cumulated CPU time: 3212.62 s
Current children cumulated vsize: 252700 KiB
Current children cumulated memory: 202876 KiB
[startup+3282.3 s]
/proc/loadavg: 3.16 3.17 3.31 4/248 13447
/proc/meminfo: memFree=64098192/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=253776 memory=205880 CPUtime=3272.43 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 35570 0 0 0 326930 313 0 0 20 0 1 0 1195960 259866624 51470 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 63444 51470 1922 992 0 55302 0
Current children cumulated CPU time: 3272.43 s
Current children cumulated vsize: 253776 KiB
Current children cumulated memory: 205880 KiB
[startup+3342.3 s]
/proc/loadavg: 3.15 3.17 3.29 4/248 13458
/proc/meminfo: memFree=63422988/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=254104 memory=206620 CPUtime=3332.24 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 35711 0 0 0 332908 316 0 0 20 0 1 0 1195960 260202496 51655 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 63526 51655 1922 992 0 55384 0
Current children cumulated CPU time: 3332.24 s
Current children cumulated vsize: 254104 KiB
Current children cumulated memory: 206620 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.17 3.28 4/248 13472
/proc/meminfo: memFree=62713876/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=254540 memory=207096 CPUtime=3392.05 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 35891 0 0 0 338886 319 0 0 20 0 1 0 1195960 260648960 51774 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 63635 51774 1922 992 0 55493 0
Current children cumulated CPU time: 3392.05 s
Current children cumulated vsize: 254540 KiB
Current children cumulated memory: 207096 KiB
[startup+3462.3 s]
/proc/loadavg: 2.43 2.99 3.21 2/234 13555
/proc/meminfo: memFree=128603868/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=254952 memory=212512 CPUtime=3451.86 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 36073 0 0 0 344864 322 0 0 20 0 1 0 1195960 261070848 53128 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 63738 53128 1922 992 0 55596 0
Current children cumulated CPU time: 3451.86 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 212512 KiB
[startup+3522.3 s]
/proc/loadavg: 1.66 2.67 3.09 2/231 13566
/proc/meminfo: memFree=128575740/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=254952 memory=225512 CPUtime=3511.67 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 36757 0 0 0 350839 328 0 0 20 0 1 0 1195960 261070848 56378 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 63738 56378 1922 992 0 55596 0
Current children cumulated CPU time: 3511.67 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 225512 KiB
[startup+3582.3 s]
/proc/loadavg: 1.24 2.36 2.95 2/227 13577
/proc/meminfo: memFree=128558772/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=254952 memory=225588 CPUtime=3571.49 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 36862 0 0 0 356817 332 0 0 20 0 1 0 1195960 261070848 56397 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 63738 56397 1922 992 0 55596 0
Current children cumulated CPU time: 3571.49 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 225588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 1.26 2.26 2.90 2/227 13580
/proc/meminfo: memFree=128552708/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=254952 memory=225588 CPUtime=3600.02 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 36959 0 0 0 359668 334 0 0 20 0 1 0 1195960 261070848 56397 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 63738 56397 1922 992 0 55596 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 225588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.92 s]
# the end of solver process 11623 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.7 s, system=3.34273 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 1.26 2.26 2.90 2/227 13580
/proc/meminfo: memFree=128552708/131655788 swapFree=131071216/131071996
[pid=11623] ppid=11620 vsize=254952 memory=225588 CPUtime=3600.02 cores=4,6
/proc/11623/stat : 11623 (roundingsat) R 11620 11623 6253 0 -1 4194304 36959 0 0 0 359668 334 0 0 20 0 1 0 1195960 261070848 56397 134679101440 4194304 8255733 140725207675920 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10477568 140725207679842 140725207680104 140725207680104 140725207687113 0
/proc/11623/statm: 63738 56397 1922 992 0 55596 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 225588 KiB
Child status: 0
Real time (s): 3610.92
CPU time (s): 3600.04
CPU user time (s): 3596.7
CPU system time (s): 3.34273
CPU usage (%): 99.6987
Max. virtual memory (cumulated for all children) (KiB): 254952
Max. memory (cumulated for all children) (KiB): 225588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.7
system time used= 3.34273
maximum resident set size= 225588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36971
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2663592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110
involuntary context switches= 4962
# summary of solver processes directly reported to runsolver:
# pid: 11623
# total CPU time (s): 3600.04
# total CPU user time (s): 3596.7
# total CPU system time (s): 3.34273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.5251 second user time and 28.9991 second system time
The end
Begin job on nodeC007 at 2024-07-30 16:04:14
IDJOB=4463269
IDBENCH=175942
IDSOLVER=3089
FILE ID=nodeC007/4463269-1722348253
RUNJOBID= nodeC007-1722340763-6264
SLURM_JOB_ID= 8248987
Free space on /tmp= 723728 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq8/normalized-28array_alg_ineq8.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-4463269-1722348253/watcher-4463269-1722348253 -o /tmp/evaluation-result-4463269-1722348253/solver-4463269-1722348253 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722340763-6264 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463269-1722348253 --lp-cut-gomory=0 HOME/instance-4463269-1722348253.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e563df95219b214aec9816293324d964
RANDOM SEED=1331717877
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 : 3627.511
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 : 3661.622
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.342
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.349
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 : 3192.506
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 : 3661.644
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.204
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.452
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: 124650480 kB
MemAvailable: 127081756 kB
Buffers: 44980 kB
Cached: 3225360 kB
SwapCached: 100 kB
Active: 192456 kB
Inactive: 6382556 kB
Active(anon): 1640 kB
Inactive(anon): 3324184 kB
Active(file): 190816 kB
Inactive(file): 3058372 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 149288 kB
Writeback: 0 kB
AnonPages: 3302900 kB
Mapped: 97048 kB
Shmem: 21076 kB
KReclaimable: 44572 kB
Slab: 123528 kB
SReclaimable: 44572 kB
SUnreclaim: 78956 kB
KernelStack: 4016 kB
PageTables: 15912 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3748788 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6240 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1536000 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= 723776 MiB
End job on nodeC007 at 2024-07-30 17:04:25