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 (57061 MiB free)
memory of node 1: 64473 MiB (45842 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463108-1722348067/watcher-4463108-1722348067 -o /tmp/evaluation-result-4463108-1722348067/solver-4463108-1722348067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6811 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463108-1722348067 --lp-cut-gomory=0 HOME/instance-4463108-1722348067.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11385, runsolver pid=11382
[startup+0.100095 s]*
/proc/loadavg: 4.13 4.18 4.17 5/250 11386
/proc/meminfo: memFree=105344200/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=64268 memory=35304 CPUtime=0.1 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 7983 0 0 0 9 1 0 0 20 0 1 0 1403737 65810432 8826 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 16067 8826 1330 992 0 7925 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 64268 KiB
Current children cumulated memory: 35304 KiB
[startup+0.213715 s]*
/proc/loadavg: 4.13 4.18 4.17 5/250 11386
/proc/meminfo: memFree=105315184/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=94736 memory=65744 CPUtime=0.21 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 12543 0 0 0 19 2 0 0 20 0 1 0 1403737 97009664 16436 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 23684 16436 1330 992 0 15542 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 94736 KiB
Current children cumulated memory: 65744 KiB
[startup+0.313334 s]*
/proc/loadavg: 4.13 4.18 4.17 5/250 11386
/proc/meminfo: memFree=105270456/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=141324 memory=105008 CPUtime=0.32 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 15696 0 0 0 28 4 0 0 20 0 1 0 1403737 144715776 26252 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 35331 26252 1330 992 0 27189 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 141324 KiB
Current children cumulated memory: 105008 KiB
[startup+0.700323 s]
/proc/loadavg: 4.20 4.20 4.18 5/250 11386
/proc/meminfo: memFree=105192816/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=247620 memory=199032 CPUtime=0.68 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 21344 0 0 0 61 7 0 0 20 0 1 0 1403737 253562880 49758 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 61905 49758 1330 992 0 53763 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 247620 KiB
Current children cumulated memory: 199032 KiB
[startup+1.50032 s]
/proc/loadavg: 4.20 4.20 4.18 5/250 11386
/proc/meminfo: memFree=105130800/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=259220 memory=204548 CPUtime=1.49 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 21761 0 0 0 137 12 0 0 20 0 1 0 1403737 265441280 51137 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 64805 51137 1330 992 0 56663 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 259220 KiB
Current children cumulated memory: 204548 KiB
[startup+3.11303 s]
/proc/loadavg: 4.20 4.20 4.18 4/245 11413
/proc/meminfo: memFree=105029240/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=726308 memory=655440 CPUtime=3.1 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 64443 0 0 0 280 30 0 0 20 0 1 0 1403737 743739392 163860 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 181577 163860 1680 992 0 173435 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 726308 KiB
Current children cumulated memory: 655440 KiB
[startup+6.3003 s]
/proc/loadavg: 4.18 4.19 4.18 4/245 11414
/proc/meminfo: memFree=105007252/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=753528 memory=686312 CPUtime=6.28 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 67129 0 0 0 527 101 0 0 20 0 1 0 1403737 771612672 171578 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 188382 171578 1712 992 0 180240 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 753528 KiB
Current children cumulated memory: 686312 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.19 4.17 4/245 11460
/proc/meminfo: memFree=107820288/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=814992 memory=747556 CPUtime=12.66 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 68670 0 0 0 1039 227 0 0 20 0 1 0 1403737 834551808 186889 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 203748 186889 1712 992 0 195606 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 814992 KiB
Current children cumulated memory: 747556 KiB
[startup+25.5003 s]
/proc/loadavg: 4.30 4.22 4.18 5/251 11529
/proc/meminfo: memFree=121873876/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=951588 memory=859416 CPUtime=25.43 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 70293 0 0 0 2212 331 0 0 20 0 1 0 1403737 974426112 214854 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 237897 214854 1712 992 0 229755 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 951588 KiB
Current children cumulated memory: 859416 KiB
[startup+51.1123 s]
/proc/loadavg: 4.25 4.21 4.18 5/251 11534
/proc/meminfo: memFree=121342056/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=951588 memory=859916 CPUtime=51 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 70566 0 0 0 4768 332 0 0 20 0 1 0 1403737 974426112 214979 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 237897 214979 1712 992 0 229755 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 951588 KiB
Current children cumulated memory: 859916 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/251 11544
/proc/meminfo: memFree=120932868/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=951588 memory=860076 CPUtime=102.09 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 70795 0 0 0 9877 332 0 0 20 0 1 0 1403737 974426112 215019 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 237897 215019 1712 992 0 229755 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 951588 KiB
Current children cumulated memory: 860076 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.20 4.18 5/249 11555
/proc/meminfo: memFree=120233240/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=1074452 memory=1010728 CPUtime=161.96 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 99043 0 0 0 15676 520 0 0 20 0 1 0 1403737 1100238848 252682 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 268613 252682 1773 992 0 260471 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 1074452 KiB
Current children cumulated memory: 1010728 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/249 11566
/proc/meminfo: memFree=119400040/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=1462288 memory=1333408 CPUtime=221.83 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 109234 0 0 0 21619 564 0 0 20 0 1 0 1403737 1497382912 333352 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 365572 333352 1805 992 0 357430 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 1462288 KiB
Current children cumulated memory: 1333408 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/249 11577
/proc/meminfo: memFree=118382332/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=1896876 memory=1644700 CPUtime=281.7 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 131587 0 0 0 27564 606 0 0 20 0 1 0 1403737 1942401024 411175 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 474219 411175 1805 992 0 466077 0
Current children cumulated CPU time: 281.7 s
Current children cumulated vsize: 1896876 KiB
Current children cumulated memory: 1644700 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/247 11590
/proc/meminfo: memFree=116215692/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=2525468 memory=2022856 CPUtime=341.56 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 147814 0 0 0 33489 667 0 0 20 0 1 0 1403737 2586079232 505714 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 631367 505714 1805 992 0 623225 0
Current children cumulated CPU time: 341.56 s
Current children cumulated vsize: 2525468 KiB
Current children cumulated memory: 2022856 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/247 11601
/proc/meminfo: memFree=115194104/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=2628852 memory=2450160 CPUtime=401.43 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 171219 0 0 0 39434 709 0 0 20 0 1 0 1403737 2691944448 612540 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 657213 612540 1805 992 0 649071 0
Current children cumulated CPU time: 401.43 s
Current children cumulated vsize: 2628852 KiB
Current children cumulated memory: 2450160 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/247 11612
/proc/meminfo: memFree=114380184/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=2628852 memory=2450288 CPUtime=461.32 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 171331 0 0 0 45421 711 0 0 20 0 1 0 1403737 2691944448 612572 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 657213 612572 1805 992 0 649071 0
################
# More data... #
################
/proc/meminfo: memFree=73454848/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15619756 memory=13265408 CPUtime=2975.66 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1132071 0 0 0 293269 4297 0 0 20 0 1 0 1403737 15994630144 3316352 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3904939 3316352 1805 992 0 3896797 0
Current children cumulated CPU time: 2975.66 s
Current children cumulated vsize: 15619756 KiB
Current children cumulated memory: 13265408 KiB
[startup+3042.3 s]
/proc/loadavg: 4.28 4.34 4.34 5/250 12865
/proc/meminfo: memFree=72269908/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15619756 memory=13265408 CPUtime=3035.51 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1135663 0 0 0 299188 4363 0 0 20 0 1 0 1403737 15994630144 3316352 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3904939 3316352 1805 992 0 3896797 0
Current children cumulated CPU time: 3035.51 s
Current children cumulated vsize: 15619756 KiB
Current children cumulated memory: 13265408 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.30 4.33 5/250 12877
/proc/meminfo: memFree=71566124/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15619756 memory=13266084 CPUtime=3095.37 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1139409 0 0 0 305147 4390 0 0 20 0 1 0 1403737 15994630144 3316521 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3904939 3316521 1805 992 0 3896797 0
Current children cumulated CPU time: 3095.37 s
Current children cumulated vsize: 15619756 KiB
Current children cumulated memory: 13266084 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.26 4.31 5/251 12889
/proc/meminfo: memFree=70703700/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15619756 memory=13266084 CPUtime=3155.2 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1143180 0 0 0 311021 4499 0 0 20 0 1 0 1403737 15994630144 3316521 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3904939 3316521 1805 992 0 3896797 0
Current children cumulated CPU time: 3155.2 s
Current children cumulated vsize: 15619756 KiB
Current children cumulated memory: 13266084 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.23 4.29 5/251 12900
/proc/meminfo: memFree=69375224/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15619908 memory=13267892 CPUtime=3215.03 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1147128 0 0 0 316929 4574 0 0 20 0 1 0 1403737 15994785792 3316973 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3904977 3316973 1805 992 0 3896835 0
Current children cumulated CPU time: 3215.03 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13267892 KiB
[startup+3282.3 s]
/proc/loadavg: 4.32 4.26 4.30 5/254 13295
/proc/meminfo: memFree=68201404/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15619908 memory=13276356 CPUtime=3274.86 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1151007 0 0 0 322880 4606 0 0 20 0 1 0 1403737 15994785792 3319089 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3904977 3319089 1805 992 0 3896835 0
Current children cumulated CPU time: 3274.86 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13276356 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.24 4.29 5/254 13306
/proc/meminfo: memFree=67472380/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15619908 memory=13283520 CPUtime=3334.7 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1156109 0 0 0 328816 4654 0 0 20 0 1 0 1403737 15994785792 3320880 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3904977 3320880 1805 992 0 3896835 0
Current children cumulated CPU time: 3334.7 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13283520 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.21 4.27 5/254 13318
/proc/meminfo: memFree=66548004/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15619908 memory=13296836 CPUtime=3394.54 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1160133 0 0 0 334762 4692 0 0 20 0 1 0 1403737 15994785792 3324209 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3904977 3324209 1805 992 0 3896835 0
Current children cumulated CPU time: 3394.54 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13296836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.49 4.28 4.29 5/253 13497
/proc/meminfo: memFree=65327464/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15619908 memory=13321992 CPUtime=3454.38 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1164532 0 0 0 340699 4739 0 0 20 0 1 0 1403737 15994785792 3330498 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3904977 3330498 1805 992 0 3896835 0
Current children cumulated CPU time: 3454.38 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13321992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.24 4.27 5/253 13508
/proc/meminfo: memFree=64135492/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15619908 memory=13324828 CPUtime=3514.22 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1168862 0 0 0 346616 4806 0 0 20 0 1 0 1403737 15994785792 3331207 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3904977 3331207 1805 992 0 3896835 0
Current children cumulated CPU time: 3514.22 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13324828 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.21 4.26 5/253 13525
/proc/meminfo: memFree=63202616/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15619908 memory=13325776 CPUtime=3574.08 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1174367 0 0 0 352560 4848 0 0 20 0 1 0 1403737 15994785792 3331444 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3904977 3331444 1805 992 0 3896835 0
Current children cumulated CPU time: 3574.08 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13325776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.3 s]
/proc/loadavg: 4.15 4.21 4.26 5/252 13541
/proc/meminfo: memFree=63038560/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15619908 memory=13327120 CPUtime=3600.03 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1176188 0 0 0 355141 4862 0 0 20 0 1 0 1403737 15994785792 3331780 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3904977 3331780 1805 992 0 3896835 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 15619908 KiB
Current children cumulated memory: 13327120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.72 s]
# the end of solver process 11385 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3551.66 s, system=48.7741 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.4 s]
/proc/loadavg: 4.15 4.21 4.26 5/252 13541
/proc/meminfo: memFree=63038560/131655788 swapFree=131071996/131071996
[pid=11385] ppid=11382 vsize=15504164 memory=13211836 CPUtime=3600.11 cores=5,7
/proc/11385/stat : 11385 (roundingsat) R 11382 11385 6796 0 -1 4194304 1176306 0 0 0 355149 4862 0 0 20 0 1 0 1403737 15876263936 3302959 134679101440 4194304 8255733 140734094380240 0 0 0 0 0 25182210 0 0 0 17 7 0 0 1 0 0 9037040 9046032 20217856 140734094381918 140734094382180 140734094382180 140734094389193 0
/proc/11385/statm: 3876041 3302959 1920 992 0 3867899 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 15504164 KiB
Current children cumulated memory: 13211836 KiB
[startup+3608.6 s]*
/proc/loadavg: 4.15 4.21 4.26 5/252 13541
/proc/meminfo: memFree=68544544/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3608.71 s]
/proc/loadavg: 4.15 4.21 4.26 5/252 13541
/proc/meminfo: memFree=68544544/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3608.72
CPU time (s): 3600.43
CPU user time (s): 3551.66
CPU system time (s): 48.7741
CPU usage (%): 99.7704
Max. virtual memory (cumulated for all children) (KiB): 15619908
Max. memory (cumulated for all children) (KiB): 13327120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.66
system time used= 48.7741
maximum resident set size= 13327184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1176362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24735824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 306
involuntary context switches= 4304
# summary of solver processes directly reported to runsolver:
# pid: 11385
# total CPU time (s): 3600.43
# total CPU user time (s): 3551.66
# total CPU system time (s): 48.7741
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.692 second user time and 36.5628 second system time
The end
Begin job on nodeC005 at 2024-07-30 16:01:07
IDJOB=4463108
IDBENCH=160481
IDSOLVER=3089
FILE ID=nodeC005/4463108-1722348067
RUNJOBID= nodeC005-1722340763-6811
SLURM_JOB_ID= 8248985
Free space on /tmp= 723724 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm100p-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-4463108-1722348067/watcher-4463108-1722348067 -o /tmp/evaluation-result-4463108-1722348067/solver-4463108-1722348067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6811 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463108-1722348067 --lp-cut-gomory=0 HOME/instance-4463108-1722348067.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7aedd7c3672972b6263e08c161e73d18
RANDOM SEED=493616191
nodeC005.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 : 3668.636
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.72
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 : 3551.837
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.37
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.268
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.72
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.268
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.37
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 : 3669.201
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.72
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 : 3491.863
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.37
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.398
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.72
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.250
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 105373656 kB
MemAvailable: 126165352 kB
Buffers: 53016 kB
Cached: 21553568 kB
SwapCached: 0 kB
Active: 172460 kB
Inactive: 25631048 kB
Active(anon): 1476 kB
Inactive(anon): 4216864 kB
Active(file): 170984 kB
Inactive(file): 21414184 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 139928 kB
Writeback: 0 kB
AnonPages: 4190708 kB
Mapped: 97496 kB
Shmem: 21320 kB
KReclaimable: 93452 kB
Slab: 171260 kB
SReclaimable: 93452 kB
SUnreclaim: 77808 kB
KernelStack: 4016 kB
PageTables: 17484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4978120 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6368 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2965504 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: 160584 kB
DirectMap2M: 6035456 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 723628 MiB
End job on nodeC005 at 2024-07-30 17:01:16