runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (5907 MiB free)
memory of node 1: 16384 MiB (9290 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386671-1568280898/watcher-4386671-1568280898 -o /tmp/evaluation-result-4386671-1568280898/solver-4386671-1568280898 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568280855-8884 --watchdog 2580 BTD 2520 HOME/instance-4386671-1568280898.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8910, runsolver pid=8906
Current StackSize limit: 8192 KiB
[startup+0.100199 s]*
/proc/loadavg: 0.31 0.08 0.07 3/199 8915
/proc/meminfo: memFree=15549004/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=46024 memory=15560 CPUtime=0.04 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 4064 0 0 0 4 0 0 0 20 0 1 0 404004611 47128576 3890 33554432000 4194304 36700936 140724840752144 140724840752144 7949654 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 11506 3890 454 7937 0 3534 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 46024 KiB
Current children cumulated memory: 15560 KiB
[startup+0.210145 s]*
/proc/loadavg: 0.31 0.08 0.07 3/199 8915
/proc/meminfo: memFree=15517024/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=77120 memory=46712 CPUtime=0.16 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 11867 0 0 0 15 1 0 0 20 0 1 0 404004611 78970880 11678 33554432000 4194304 36700936 140724840752144 140724840752144 4308983 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 19280 11678 478 7937 0 11308 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 77120 KiB
Current children cumulated memory: 46712 KiB
[startup+0.30947 s]*
/proc/loadavg: 0.31 0.08 0.07 3/199 8915
/proc/meminfo: memFree=15517024/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=77120 memory=46712 CPUtime=0.25 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 11867 0 0 0 24 1 0 0 20 0 1 0 404004611 78970880 11678 33554432000 4194304 36700936 140724840752144 140724840752144 4309024 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 19280 11678 478 7937 0 11308 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 77120 KiB
Current children cumulated memory: 46712 KiB
[startup+0.700331 s]
/proc/loadavg: 0.31 0.08 0.07 3/199 8915
/proc/meminfo: memFree=15517024/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=77252 memory=46976 CPUtime=0.64 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 11880 0 0 0 63 1 0 0 20 0 1 0 404004611 79106048 11744 33554432000 4194304 36700936 140724840752144 140724840750536 4312015 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 19313 11744 485 7937 0 11341 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 77252 KiB
Current children cumulated memory: 46976 KiB
[startup+1.50035 s]
/proc/loadavg: 0.31 0.08 0.07 3/199 8915
/proc/meminfo: memFree=15515968/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=77252 memory=46976 CPUtime=1.44 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 11906 0 0 0 143 1 0 0 20 0 1 0 404004611 79106048 11744 33554432000 4194304 36700936 140724840752144 140724840750536 4312040 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 19313 11744 485 7937 0 11341 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 77252 KiB
Current children cumulated memory: 46976 KiB
[startup+3.10957 s]
/proc/loadavg: 0.45 0.11 0.08 2/194 8923
/proc/meminfo: memFree=15512852/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=77516 memory=47224 CPUtime=3.05 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 12461 0 0 0 304 1 0 0 20 0 1 0 404004611 79376384 11806 33554432000 4194304 36700936 140724840752144 140724840750536 4308951 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 19379 11806 485 7937 0 11407 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 77516 KiB
Current children cumulated memory: 47224 KiB
[startup+6.30032 s]
/proc/loadavg: 0.45 0.11 0.08 3/199 8976
/proc/meminfo: memFree=15420172/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=78044 memory=47684 CPUtime=6.24 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 12792 0 0 0 623 1 0 0 20 0 1 0 404004611 79917056 11921 33554432000 4194304 36700936 140724840752144 140724840750536 4313687 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 19511 11921 485 7937 0 11539 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 78044 KiB
Current children cumulated memory: 47684 KiB
[startup+12.7003 s]
/proc/loadavg: 0.68 0.17 0.10 3/199 8976
/proc/meminfo: memFree=15418828/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=78968 memory=48636 CPUtime=12.64 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 13308 0 0 0 1263 1 0 0 20 0 1 0 404004611 80863232 12159 33554432000 4194304 36700936 140724840752144 140724840750536 4309774 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 19742 12159 485 7937 0 11770 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 78968 KiB
Current children cumulated memory: 48636 KiB
[startup+25.5003 s]
/proc/loadavg: 0.89 0.23 0.12 3/199 8976
/proc/meminfo: memFree=15416512/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=80948 memory=50616 CPUtime=25.44 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 14296 0 0 0 2543 1 0 0 20 0 1 0 404004611 82890752 12654 33554432000 4194304 36700936 140724840752144 140724840750536 4308944 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 20237 12654 485 7937 0 12265 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 80948 KiB
Current children cumulated memory: 50616 KiB
[startup+51.1091 s]
/proc/loadavg: 1.27 0.38 0.17 3/199 8979
/proc/meminfo: memFree=15409700/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=84908 memory=54604 CPUtime=51.04 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 15792 0 0 0 5103 1 0 0 20 0 1 0 404004611 86945792 13651 33554432000 4194304 36700936 140724840752144 140724840750536 4309024 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 21227 13651 485 7937 0 13255 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 84908 KiB
Current children cumulated memory: 54604 KiB
[startup+102.3 s]
/proc/loadavg: 1.71 0.65 0.27 3/199 8983
/proc/meminfo: memFree=15406392/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56968 CPUtime=102.23 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 17564 0 0 0 10222 1 0 0 20 0 1 0 404004611 91840512 14242 33554432000 4194304 36700936 140724840752144 140724840751192 4309030 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14242 505 7937 0 14450 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56968 KiB
[startup+162.3 s]
/proc/loadavg: 2.04 0.94 0.40 3/199 9048
/proc/meminfo: memFree=15480040/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56968 CPUtime=162.23 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 17852 0 0 0 16222 1 0 0 20 0 1 0 404004611 91840512 14242 33554432000 4194304 36700936 140724840752144 140724840751192 4313715 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14242 505 7937 0 14450 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56968 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 1.13 0.50 3/200 9055
/proc/meminfo: memFree=15479152/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56968 CPUtime=222.23 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 18140 0 0 0 22222 1 0 0 20 0 1 0 404004611 91840512 14242 33554432000 4194304 36700936 140724840752144 140724840751192 4310139 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14242 505 7937 0 14450 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56968 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.29 0.59 3/200 9059
/proc/meminfo: memFree=15478848/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56968 CPUtime=282.23 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 18428 0 0 0 28222 1 0 0 20 0 1 0 404004611 91840512 14242 33554432000 4194304 36700936 140724840752144 140724840751192 4312040 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14242 505 7937 0 14450 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56968 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.42 0.68 3/201 9071
/proc/meminfo: memFree=15478868/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56968 CPUtime=342.22 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 18716 0 0 0 34221 1 0 0 20 0 1 0 404004611 91840512 14242 33554432000 4194304 36700936 140724840752144 140724840751192 4308993 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14242 505 7937 0 14450 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56968 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.53 0.76 3/201 9077
/proc/meminfo: memFree=15478508/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56968 CPUtime=402.22 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 19004 0 0 0 40221 1 0 0 20 0 1 0 404004611 91840512 14242 33554432000 4194304 36700936 140724840752144 140724840751192 4311997 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14242 505 7937 0 14450 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56968 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.61 0.84 3/201 9081
/proc/meminfo: memFree=15478500/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56968 CPUtime=462.22 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 19291 0 0 0 46221 1 0 0 20 0 1 0 404004611 91840512 14242 33554432000 4194304 36700936 140724840752144 140724840751192 4313715 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14242 505 7937 0 14450 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56968 KiB
################
# More data... #
################
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 1.75 3/200 9224
/proc/meminfo: memFree=15477628/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=1782.18 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 25643 0 0 0 178216 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4309024 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 1.77 3/200 9230
/proc/meminfo: memFree=15476700/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=1842.18 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 25932 0 0 0 184216 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4312015 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 1.78 3/199 9234
/proc/meminfo: memFree=15476740/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=1902.18 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 26221 0 0 0 190216 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4313712 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.79 3/199 9238
/proc/meminfo: memFree=15477152/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=1962.17 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 26510 0 0 0 196215 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4312015 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.81 3/199 9244
/proc/meminfo: memFree=15476684/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=2022.17 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 26799 0 0 0 202215 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4312015 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/199 9248
/proc/meminfo: memFree=15476452/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=2082.17 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 27088 0 0 0 208215 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4313721 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/199 9259
/proc/meminfo: memFree=15476636/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=2142.17 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 27377 0 0 0 214215 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4308953 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/199 9265
/proc/meminfo: memFree=15476520/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=2202.17 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 27667 0 0 0 220215 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4313712 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/199 9269
/proc/meminfo: memFree=15476888/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=2262.16 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 27954 0 0 0 226214 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4312040 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/199 9273
/proc/meminfo: memFree=15476996/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=2322.16 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 28242 0 0 0 232214 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4309005 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+2382.3 s]
/proc/loadavg: 2.34 2.09 1.90 3/199 9279
/proc/meminfo: memFree=15476512/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=2382.16 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 28530 0 0 0 238214 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4312003 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+2442.3 s]
/proc/loadavg: 2.23 2.12 1.92 3/199 9283
/proc/meminfo: memFree=15476768/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=2442.16 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 28819 0 0 0 244214 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4313715 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
[startup+2502.3 s]
/proc/loadavg: 2.08 2.10 1.93 3/199 9287
/proc/meminfo: memFree=15477916/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=2502.16 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 29108 0 0 0 250214 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4312015 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.06 2.09 1.93 3/199 9289
/proc/meminfo: memFree=15477452/32770624 swapFree=66957008/67108860
[pid=8910] ppid=8906 vsize=89688 memory=56976 CPUtime=2519.86 cores=0,2,4,6
/proc/8910/stat : 8910 (BTD) R 8906 8910 8853 0 -1 4202496 29137 0 0 0 251984 2 0 0 20 0 1 0 404004611 91840512 14244 33554432000 4194304 36700936 140724840752144 140724840751192 4312015 0 0 4096 0 0 0 0 17 2 0 0 1 0 0 38800048 38936640 70410240 140724840756264 140724840756340 140724840756340 140724840759249 0
/proc/8910/statm: 22422 14244 507 7937 0 14450 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 89688 KiB
Current children cumulated memory: 56976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 8910 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.85 s, system=0.023999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.87
CPU user time (s): 2519.85
CPU system time (s): 0.023999
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 89688
Max. memory (cumulated for all children) (KiB): 56976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.85
system time used= 0.023999
maximum resident set size= 56976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29137
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= 8
involuntary context switches= 3152
# summary of solver processes directly reported to runsolver:
# pid: 8910
# total CPU time (s): 2519.87
# total CPU user time (s): 2519.85
# total CPU system time (s): 0.023999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76417 second user time and 17.8114 second system time
The end