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: 63968 MiB (62034 MiB free)
memory of node 1: 64473 MiB (62477 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4461792-1722208017/watcher-4461792-1722208017 -o /tmp/evaluation-result-4461792-1722208017/solver-4461792-1722208017 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722208017-447352 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4461792-1722208017.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=447402, runsolver pid=447392
[startup+0.100845 s]*
/proc/loadavg: 1.60 3.23 3.74 7/256 447416
/proc/meminfo: memFree=127451528/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=49884 memory=19536 CPUtime=0.09 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 4036 0 0 0 6 3 0 0 20 0 1 0 57324703 51081216 4884 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 12471 4884 1249 922 0 4423 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49884 KiB
Current children cumulated memory: 19536 KiB
[startup+0.206381 s]*
/proc/loadavg: 1.60 3.23 3.74 7/256 447416
/proc/meminfo: memFree=127378092/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=90780 memory=61728 CPUtime=0.2 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 12810 0 0 0 14 6 0 0 20 0 1 0 57324703 92958720 15432 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 22792 15432 1647 922 0 14744 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 90780 KiB
Current children cumulated memory: 61728 KiB
[startup+0.306164 s]*
/proc/loadavg: 1.60 3.23 3.74 8/256 447416
/proc/meminfo: memFree=127352680/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=107616 memory=74852 CPUtime=0.3 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 18227 0 0 0 23 7 0 0 20 0 1 0 57324703 110198784 18713 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 26904 18713 1743 922 0 18856 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107616 KiB
Current children cumulated memory: 74852 KiB
[startup+0.700213 s]
/proc/loadavg: 1.60 3.23 3.74 8/256 447416
/proc/meminfo: memFree=127328576/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=121952 memory=85228 CPUtime=0.69 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 20838 0 0 0 59 10 0 0 20 0 1 0 57324703 124878848 21307 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 30488 21307 1743 922 0 22440 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121952 KiB
Current children cumulated memory: 85228 KiB
[startup+1.5002 s]
/proc/loadavg: 1.60 3.23 3.74 7/256 447416
/proc/meminfo: memFree=127203484/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=124672 memory=91320 CPUtime=1.48 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 22311 0 0 0 122 26 0 0 20 0 1 0 57324703 127664128 22830 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 31168 22830 1775 922 0 23120 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 124672 KiB
Current children cumulated memory: 91320 KiB
[startup+3.10572 s]
/proc/loadavg: 1.87 3.26 3.75 5/254 447416
/proc/meminfo: memFree=126981084/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=145752 memory=110100 CPUtime=3.08 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 26831 0 0 0 275 33 0 0 20 0 1 0 57324703 149250048 27525 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 36438 27525 1854 922 0 28390 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 145752 KiB
Current children cumulated memory: 110100 KiB
[startup+6.30022 s]
/proc/loadavg: 1.87 3.26 3.75 6/256 447462
/proc/meminfo: memFree=126551740/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=166928 memory=128580 CPUtime=6.27 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 30987 0 0 0 576 51 0 0 20 0 1 0 57324703 170934272 32145 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 41732 32145 1854 922 0 33684 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 166928 KiB
Current children cumulated memory: 128580 KiB
[startup+12.7002 s]
/proc/loadavg: 2.04 3.27 3.75 5/256 447556
/proc/meminfo: memFree=126479020/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=225024 memory=177084 CPUtime=12.64 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 39089 0 0 0 1180 84 0 0 20 0 1 0 57324703 230424576 44271 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 56256 44271 1854 922 0 48208 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 225024 KiB
Current children cumulated memory: 177084 KiB
[startup+25.5002 s]
/proc/loadavg: 2.48 3.31 3.75 5/256 447603
/proc/meminfo: memFree=126431444/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=290796 memory=232556 CPUtime=25.39 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 48389 0 0 0 2443 96 0 0 20 0 1 0 57324703 297775104 58139 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 72699 58139 1854 922 0 64651 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 290796 KiB
Current children cumulated memory: 232556 KiB
[startup+51.1052 s]
/proc/loadavg: 2.57 3.26 3.73 3/242 447763
/proc/meminfo: memFree=126634484/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=315276 memory=261304 CPUtime=50.9 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 54025 0 0 0 4945 145 0 0 20 0 1 0 57324703 322842624 65326 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 78819 65326 1854 922 0 70771 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 315276 KiB
Current children cumulated memory: 261304 KiB
[startup+102.3 s]
/proc/loadavg: 2.32 3.08 3.64 3/242 447771
/proc/meminfo: memFree=125445028/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=367764 memory=329324 CPUtime=101.91 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 67018 0 0 0 10005 186 0 0 20 0 1 0 57324703 376590336 82331 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 91941 82331 1854 922 0 83893 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 367764 KiB
Current children cumulated memory: 329324 KiB
[startup+162.3 s]
/proc/loadavg: 2.12 2.88 3.53 3/242 447782
/proc/meminfo: memFree=124090128/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=580280 memory=464272 CPUtime=161.69 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 86945 0 0 0 15948 221 0 0 20 0 1 0 57324703 594206720 116068 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 145070 116068 1854 922 0 137022 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 580280 KiB
Current children cumulated memory: 464272 KiB
[startup+222.3 s]
/proc/loadavg: 2.16 2.75 3.44 3/242 447794
/proc/meminfo: memFree=123560116/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=580280 memory=471012 CPUtime=221.51 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 87019 0 0 0 21909 242 0 0 20 0 1 0 57324703 594206720 117753 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 145070 117753 1854 922 0 137022 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 580280 KiB
Current children cumulated memory: 471012 KiB
[startup+282.3 s]
/proc/loadavg: 2.12 2.63 3.36 3/244 447808
/proc/meminfo: memFree=123526540/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=596728 memory=485716 CPUtime=281.31 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 91021 0 0 0 27849 282 0 0 20 0 1 0 57324703 611049472 121429 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 149182 121429 1854 922 0 141134 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 596728 KiB
Current children cumulated memory: 485716 KiB
[startup+342.3 s]
/proc/loadavg: 2.09 2.53 3.27 3/243 447820
/proc/meminfo: memFree=123165604/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=613792 memory=505280 CPUtime=341.13 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 94931 0 0 0 33802 311 0 0 20 0 1 0 57324703 628523008 126320 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 153448 126320 1854 922 0 145400 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 613792 KiB
Current children cumulated memory: 505280 KiB
[startup+402.3 s]
/proc/loadavg: 2.33 2.52 3.22 3/242 447831
/proc/meminfo: memFree=122186176/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=691004 memory=646324 CPUtime=400.93 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 112188 0 0 0 39729 364 0 0 20 0 1 0 57324703 707588096 161581 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 172751 161581 1854 922 0 164703 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 691004 KiB
Current children cumulated memory: 646324 KiB
[startup+462.3 s]
/proc/loadavg: 2.28 2.47 3.16 3/242 447841
/proc/meminfo: memFree=120890416/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1251456 memory=991788 CPUtime=460.71 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 158478 0 0 0 45670 401 0 0 20 0 1 0 57324703 1281490944 247947 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 312864 247947 1854 922 0 304816 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 1.12 1.11 1.24 2/235 449543
/proc/meminfo: memFree=125902500/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1935504 memory=1589132 CPUtime=3152.72 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 238018 0 0 0 314412 860 0 0 20 0 1 0 57324703 1981956096 397283 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 483876 397283 1854 922 0 475828 0
Current children cumulated CPU time: 3152.72 s
Current children cumulated vsize: 1935504 KiB
Current children cumulated memory: 1589132 KiB
[startup+3222.3 s]
/proc/loadavg: 1.04 1.09 1.22 2/235 449555
/proc/meminfo: memFree=125901800/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1935504 memory=1589132 CPUtime=3212.54 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 238406 0 0 0 320388 866 0 0 20 0 1 0 57324703 1981956096 397283 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 483876 397283 1854 922 0 475828 0
Current children cumulated CPU time: 3212.54 s
Current children cumulated vsize: 1935504 KiB
Current children cumulated memory: 1589132 KiB
[startup+3282.3 s]
/proc/loadavg: 1.12 1.10 1.21 2/238 449584
/proc/meminfo: memFree=125901068/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1935504 memory=1589132 CPUtime=3272.36 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 238955 0 0 0 326362 874 0 0 20 0 1 0 57324703 1981956096 397283 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 483876 397283 1854 922 0 475828 0
Current children cumulated CPU time: 3272.36 s
Current children cumulated vsize: 1935504 KiB
Current children cumulated memory: 1589132 KiB
[startup+3342.3 s]
/proc/loadavg: 1.10 1.10 1.20 2/238 449595
/proc/meminfo: memFree=125898700/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1936132 memory=1590484 CPUtime=3332.19 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 239795 0 0 0 332336 883 0 0 20 0 1 0 57324703 1982599168 397621 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 484033 397621 1854 922 0 475985 0
Current children cumulated CPU time: 3332.19 s
Current children cumulated vsize: 1936132 KiB
Current children cumulated memory: 1590484 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.09 1.19 2/238 449608
/proc/meminfo: memFree=125894332/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1938652 memory=1594280 CPUtime=3392.03 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 240910 0 0 0 338314 889 0 0 20 0 1 0 57324703 1985179648 398570 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 484663 398570 1854 922 0 476615 0
Current children cumulated CPU time: 3392.03 s
Current children cumulated vsize: 1938652 KiB
Current children cumulated memory: 1594280 KiB
[startup+3462.3 s]
/proc/loadavg: 1.09 1.09 1.18 2/237 449619
/proc/meminfo: memFree=125893500/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1938652 memory=1594564 CPUtime=3451.87 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 241126 0 0 0 344294 893 0 0 20 0 1 0 57324703 1985179648 398641 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 484663 398641 1854 922 0 476615 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 1938652 KiB
Current children cumulated memory: 1594564 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.08 1.17 2/237 449631
/proc/meminfo: memFree=125892612/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1938652 memory=1594564 CPUtime=3511.7 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 241258 0 0 0 350273 897 0 0 20 0 1 0 57324703 1985179648 398641 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 484663 398641 1854 922 0 476615 0
Current children cumulated CPU time: 3511.7 s
Current children cumulated vsize: 1938652 KiB
Current children cumulated memory: 1594564 KiB
[startup+3582.3 s]
/proc/loadavg: 1.15 1.10 1.17 2/233 449642
/proc/meminfo: memFree=125892240/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1938652 memory=1594564 CPUtime=3571.54 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 241441 0 0 0 356250 904 0 0 20 0 1 0 57324703 1985179648 398641 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 484663 398641 1854 922 0 476615 0
Current children cumulated CPU time: 3571.54 s
Current children cumulated vsize: 1938652 KiB
Current children cumulated memory: 1594564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 1.09 1.09 1.17 2/233 449649
/proc/meminfo: memFree=125891420/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1938652 memory=1594564 CPUtime=3600.07 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 241521 0 0 0 359100 907 0 0 20 0 1 0 57324703 1985179648 398641 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 484663 398641 1854 922 0 476615 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1938652 KiB
Current children cumulated memory: 1594564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.91 s]
# the end of solver process 447402 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3593 s, system=9.08677 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 1.09 1.09 1.17 2/233 449649
/proc/meminfo: memFree=125891420/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1938652 memory=1594564 CPUtime=3600.37 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 241521 0 0 0 359130 907 0 0 20 0 1 0 57324703 1985179648 398641 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 484663 398641 1854 922 0 476615 0
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 1938652 KiB
Current children cumulated memory: 1594564 KiB
[startup+3612 s]*
/proc/loadavg: 1.09 1.09 1.17 2/233 449649
/proc/meminfo: memFree=125891420/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1938652 memory=1594564 CPUtime=3601.17 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 241521 0 0 0 359210 907 0 0 20 0 1 0 57324703 1985179648 398641 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 484663 398641 1854 922 0 476615 0
Current children cumulated CPU time: 3601.17 s
Current children cumulated vsize: 1938652 KiB
Current children cumulated memory: 1594564 KiB
[startup+3612.4 s]
/proc/loadavg: 1.09 1.09 1.17 2/233 449649
/proc/meminfo: memFree=125891420/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1938652 memory=1594564 CPUtime=3601.56 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 241521 0 0 0 359249 907 0 0 20 0 1 0 57324703 1985179648 398641 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 484663 398641 1854 922 0 476615 0
Current children cumulated CPU time: 3601.56 s
Current children cumulated vsize: 1938652 KiB
Current children cumulated memory: 1594564 KiB
[startup+3612.8 s]
/proc/loadavg: 1.09 1.09 1.17 2/233 449649
/proc/meminfo: memFree=125891420/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1938652 memory=1594564 CPUtime=3601.96 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 241521 0 0 0 359289 907 0 0 20 0 1 0 57324703 1985179648 398641 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 484663 398641 1854 922 0 476615 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 1938652 KiB
Current children cumulated memory: 1594564 KiB
[startup+3612.9 s]
/proc/loadavg: 1.09 1.09 1.17 2/233 449649
/proc/meminfo: memFree=125891420/131524600 swapFree=131057784/131071996
[pid=447402] ppid=447392 vsize=1938652 memory=1594564 CPUtime=3602.06 cores=0,2
/proc/447402/stat : 447402 (roundingsat) R 447392 447402 444723 0 -1 4194304 241521 0 0 0 359299 907 0 0 20 0 1 0 57324703 1985179648 398641 134679101440 4194304 7968373 140724056474976 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 37269504 140724056482749 140724056482913 140724056482913 140724056489929 0
/proc/447402/statm: 484663 398641 1854 922 0 476615 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 1938652 KiB
Current children cumulated memory: 1594564 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.91
CPU time (s): 3602.08
CPU user time (s): 3593
CPU system time (s): 9.08677
CPU usage (%): 99.7004
Max. virtual memory (cumulated for all children) (KiB): 1938652
Max. memory (cumulated for all children) (KiB): 1594564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593
system time used= 9.08677
maximum resident set size= 1594564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 304
involuntary context switches= 25274
# summary of solver processes directly reported to runsolver:
# pid: 447402
# total CPU time (s): 3602.08
# total CPU user time (s): 3593
# total CPU system time (s): 9.08677
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32779 second user time and 15.7815 second system time
The end
Begin job on nodeC024 at 2024-07-29 01:06:57
IDJOB=4461792
IDBENCH=178869
IDSOLVER=3084
FILE ID=nodeC024/4461792-1722208017
RUNJOBID= nodeC024-1722208017-447352
SLURM_JOB_ID= 8248626
Free space on /tmp= 890068 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x2/Init-x2-i9_pp_96.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4461792-1722208017/watcher-4461792-1722208017 -o /tmp/evaluation-result-4461792-1722208017/solver-4461792-1722208017 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722208017-447352 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4461792-1722208017.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5cc7d14a8524e58f54e6333ee2ad6e82
RANDOM SEED=784863210
nodeC024.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 : 0xb00002a
cpu MHz : 3602.984
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87
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 : 0xb00002a
cpu MHz : 3574.504
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.58
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 : 0xb00002a
cpu MHz : 3608.888
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87
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 : 0xb00002a
cpu MHz : 3639.853
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.58
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 : 0xb00002a
cpu MHz : 3560.194
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87
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 : 0xb00002a
cpu MHz : 3647.776
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.58
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 : 0xb00002a
cpu MHz : 3577.747
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.87
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 : 0xb00002a
cpu MHz : 3587.595
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127507656 kB
MemAvailable: 129717376 kB
Buffers: 396504 kB
Cached: 2646404 kB
SwapCached: 228 kB
Active: 2723412 kB
Inactive: 684416 kB
Active(anon): 4036 kB
Inactive(anon): 423188 kB
Active(file): 2719376 kB
Inactive(file): 261228 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131057784 kB
Dirty: 23464 kB
Writeback: 4 kB
AnonPages: 364836 kB
Mapped: 105324 kB
Shmem: 61656 kB
KReclaimable: 137880 kB
Slab: 255276 kB
SReclaimable: 137880 kB
SUnreclaim: 117396 kB
KernelStack: 3840 kB
PageTables: 9636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 687820 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 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: 408276 kB
DirectMap2M: 48648192 kB
DirectMap1G: 87031808 kB
Free space on /tmp at the end= 890076 MiB
End job on nodeC024 at 2024-07-29 02:07:10