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 (10328 MiB free)
memory of node 1: 16384 MiB (10895 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293051-1532306236/watcher-4293051-1532306236 -o /tmp/evaluation-result-4293051-1532306236/solver-4293051-1532306236 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7764 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293051-1532306236.xml
running on 4 cores: 1,3,5,7
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=8829, runsolver pid=8826
Current StackSize limit: 8192 KiB
[startup+0.100843 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8830
/proc/meminfo: memFree=21728936/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=31772 memory=8144 CPUtime=0.09 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 2238 0 0 0 9 0 0 0 20 0 1 0 48186787 32534528 2036 33554432000 4194304 6142532 140729648788928 140729648783400 139913368116197 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 7943 2036 844 476 0 1265 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31772 KiB
Current children cumulated memory: 8144 KiB
[startup+0.209549 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8830
/proc/meminfo: memFree=21726432/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=34164 memory=10640 CPUtime=0.2 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 2830 0 0 0 20 0 0 0 20 0 1 0 48186787 34983936 2660 33554432000 4194304 6142532 140729648788928 140729648783400 5800101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 8541 2660 844 476 0 1863 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34164 KiB
Current children cumulated memory: 10640 KiB
[startup+0.309014 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8830
/proc/meminfo: memFree=21723456/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=37056 memory=13544 CPUtime=0.3 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 3544 0 0 0 30 0 0 0 20 0 1 0 48186787 37945344 3386 33554432000 4194304 6142532 140729648788928 140729648785576 139913368116197 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 9264 3386 844 476 0 2586 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37056 KiB
Current children cumulated memory: 13544 KiB
[startup+0.700297 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8830
/proc/meminfo: memFree=21719364/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41416 memory=18008 CPUtime=0.68 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 4684 0 0 0 68 0 0 0 20 0 1 0 48186787 42409984 4502 33554432000 4194304 6142532 140729648788928 140729648785576 5371742 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10354 4502 893 476 0 3676 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41416 KiB
Current children cumulated memory: 18008 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8830
/proc/meminfo: memFree=21718620/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18272 CPUtime=1.48 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 4735 0 0 0 148 0 0 0 20 0 1 0 48186787 42545152 4568 33554432000 4194304 6142532 140729648788928 140729648785640 5374330 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4568 893 476 0 3709 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18272 KiB
[startup+3.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8830
/proc/meminfo: memFree=21718620/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18316 CPUtime=3.09 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 7568 0 0 0 309 0 0 0 20 0 1 0 48186787 42545152 4579 33554432000 4194304 6142532 140729648788928 140729648785640 5375774 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4579 893 476 0 3709 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18316 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8830
/proc/meminfo: memFree=21717736/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18316 CPUtime=6.28 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 11542 0 0 0 628 0 0 0 20 0 1 0 48186787 42545152 4579 33554432000 4194304 6142532 140729648788928 140729648785640 5047904 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4579 893 476 0 3709 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18316 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8830
/proc/meminfo: memFree=21717736/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18316 CPUtime=12.68 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 14949 0 0 0 1268 0 0 0 20 0 1 0 48186787 42545152 4579 33554432000 4194304 6142532 140729648788928 140729648785640 5367164 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4579 893 476 0 3709 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18316 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8830
/proc/meminfo: memFree=21717736/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18316 CPUtime=25.48 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 21689 0 0 0 2547 1 0 0 20 0 1 0 48186787 42545152 4579 33554432000 4194304 6142532 140729648788928 140729648785640 5051328 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4579 893 476 0 3709 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18316 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8830
/proc/meminfo: memFree=21717080/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=51.08 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 25115 0 0 0 5107 1 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5371833 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8831
/proc/meminfo: memFree=21716752/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=102.28 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 25587 0 0 0 10226 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5139736 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8832
/proc/meminfo: memFree=21716628/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=162.29 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 26060 0 0 0 16227 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5363633 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8968
/proc/meminfo: memFree=21706152/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=222.29 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 26525 0 0 0 22227 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5399718 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 8969
/proc/meminfo: memFree=21707040/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=282.29 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 26991 0 0 0 28227 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5372476 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 8970
/proc/meminfo: memFree=21707548/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=342.29 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 27457 0 0 0 34227 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5016613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 8971
/proc/meminfo: memFree=21707728/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=402.29 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 27923 0 0 0 40227 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 139913369042346 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8972
/proc/meminfo: memFree=21707948/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=462.29 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 28389 0 0 0 46227 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5017820 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
################
# More data... #
################
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 9035
/proc/meminfo: memFree=21707300/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=1782.3 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 38168 0 0 0 178228 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5371724 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 9036
/proc/meminfo: memFree=21707036/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=1842.31 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 38533 0 0 0 184229 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5397257 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 9037
/proc/meminfo: memFree=21706976/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=1902.31 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 38995 0 0 0 190229 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5361236 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9038
/proc/meminfo: memFree=21706836/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=1962.31 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 39456 0 0 0 196229 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5018336 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9044
/proc/meminfo: memFree=21706728/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=2022.31 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 39834 0 0 0 202229 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 139913378061140 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9045
/proc/meminfo: memFree=21707072/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=2082.31 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 40214 0 0 0 208229 2 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5347477 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9046
/proc/meminfo: memFree=21707036/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=2142.32 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 40675 0 0 0 214229 3 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5371812 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9047
/proc/meminfo: memFree=21706680/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=2202.32 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 41122 0 0 0 220229 3 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5361287 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9048
/proc/meminfo: memFree=21706060/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=2262.32 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 41585 0 0 0 226229 3 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5367443 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 9091
/proc/meminfo: memFree=21703544/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=2322.32 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 42037 0 0 0 232229 3 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5371724 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 9092
/proc/meminfo: memFree=21704104/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=2382.32 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 42488 0 0 0 238229 3 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5371752 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 9093
/proc/meminfo: memFree=21703988/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=2442.33 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 42940 0 0 0 244230 3 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5366615 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 9094
/proc/meminfo: memFree=21703896/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=2502.33 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 43404 0 0 0 250230 3 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 4965024 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 9094
/proc/meminfo: memFree=21704020/32770624 swapFree=67108860/67108860
[pid=8829] ppid=8826 vsize=41548 memory=18340 CPUtime=2520.03 cores=1,3,5,7
/proc/8829/stat : 8829 (cosoco) R 8826 8829 7732 0 -1 4202496 43791 0 0 0 252000 3 0 0 20 0 1 0 48186787 42545152 4585 33554432000 4194304 6142532 140729648788928 140729648785640 5371852 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 13533184 140729648796806 140729648796936 140729648796936 140729648799694 0
/proc/8829/statm: 10387 4585 893 476 0 3709 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 41548 KiB
Current children cumulated memory: 18340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 8829 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.01 s, system=0.035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.04
CPU user time (s): 2520.01
CPU system time (s): 0.035
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 41548
Max. memory (cumulated for all children) (KiB): 18340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.035
maximum resident set size= 18404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43860
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= 21
involuntary context switches= 648
# summary of solver processes directly reported to runsolver:
# pid: 8829
# total CPU time (s): 2520.04
# total CPU user time (s): 2520.01
# total CPU system time (s): 0.035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.98191 second user time and 15.9491 second system time
The end