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 (15364 MiB free)
memory of node 1: 16384 MiB (15681 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266490-1502594682/watcher-4266490-1502594682 -o /tmp/evaluation-result-4266490-1502594682/solver-4266490-1502594682 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502565138-11650 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266490-1502594682.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=17752, runsolver pid=17749
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 2.00 2.02 2.18 3/185 17753
/proc/meminfo: memFree=31790264/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=36228 memory=8608 CPUtime=0.04 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 2340 0 0 0 4 0 0 0 20 0 1 0 47808842 37097472 2152 18446744073709551615 4194304 5972588 140720516239760 140720516236408 4908832 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9057 2152 828 435 0 2420 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 36228 KiB
Current children cumulated memory: 8608 KiB
[startup+0.209434 s]*
/proc/loadavg: 2.00 2.02 2.18 3/185 17753
/proc/meminfo: memFree=31786172/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37284 memory=9664 CPUtime=0.15 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 2624 0 0 0 15 0 0 0 20 0 1 0 47808842 38178816 2416 18446744073709551615 4194304 5972588 140720516239760 140720516236408 4935502 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9321 2416 848 435 0 2684 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 37284 KiB
Current children cumulated memory: 9664 KiB
[startup+0.309325 s]*
/proc/loadavg: 2.00 2.02 2.18 3/185 17753
/proc/meminfo: memFree=31785792/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37284 memory=9664 CPUtime=0.25 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 2625 0 0 0 25 0 0 0 20 0 1 0 47808842 38178816 2416 18446744073709551615 4194304 5972588 140720516239760 140720516226952 4935463 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9321 2416 848 435 0 2684 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 37284 KiB
Current children cumulated memory: 9664 KiB
[startup+0.700288 s]
/proc/loadavg: 2.00 2.02 2.18 3/185 17753
/proc/meminfo: memFree=31786000/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37284 memory=9664 CPUtime=0.63 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 2629 0 0 0 63 0 0 0 20 0 1 0 47808842 38178816 2416 18446744073709551615 4194304 5972588 140720516239760 140720516226952 5040638 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9321 2416 848 435 0 2684 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 37284 KiB
Current children cumulated memory: 9664 KiB
[startup+1.50031 s]
/proc/loadavg: 2.00 2.02 2.18 3/185 17753
/proc/meminfo: memFree=31786000/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37416 memory=9928 CPUtime=1.43 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 2673 0 0 0 143 0 0 0 20 0 1 0 47808842 38313984 2482 18446744073709551615 4194304 5972588 140720516239760 140720516226952 4935463 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9354 2482 850 435 0 2717 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 37416 KiB
Current children cumulated memory: 9928 KiB
[startup+3.10906 s]
/proc/loadavg: 2.00 2.02 2.17 3/185 17753
/proc/meminfo: memFree=31785876/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37416 memory=10088 CPUtime=3.04 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 4202 0 0 0 304 0 0 0 20 0 1 0 47808842 38313984 2522 18446744073709551615 4194304 5972588 140720516239760 140720516226952 5338164 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9354 2522 850 435 0 2717 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 37416 KiB
Current children cumulated memory: 10088 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.02 2.17 3/185 17753
/proc/meminfo: memFree=31785508/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37416 memory=10216 CPUtime=6.23 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 5802 0 0 0 623 0 0 0 20 0 1 0 47808842 38313984 2554 18446744073709551615 4194304 5972588 140720516239760 140720516237208 4935493 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9354 2554 850 435 0 2717 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 37416 KiB
Current children cumulated memory: 10216 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.17 3/185 17753
/proc/meminfo: memFree=31785508/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37416 memory=10352 CPUtime=12.63 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 7383 0 0 0 1263 0 0 0 20 0 1 0 47808842 38313984 2588 18446744073709551615 4194304 5972588 140720516239760 140720516236984 4934265 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9354 2588 855 435 0 2717 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 37416 KiB
Current children cumulated memory: 10352 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.17 3/185 17753
/proc/meminfo: memFree=31784700/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37416 memory=10444 CPUtime=25.43 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 9859 0 0 0 2543 0 0 0 20 0 1 0 47808842 38313984 2611 18446744073709551615 4194304 5972588 140720516239760 140720516236984 4934314 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9354 2611 855 435 0 2717 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 37416 KiB
Current children cumulated memory: 10444 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.17 3/185 17754
/proc/meminfo: memFree=31785344/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37416 memory=10556 CPUtime=51.05 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 10720 0 0 0 5104 1 0 0 20 0 1 0 47808842 38313984 2639 18446744073709551615 4194304 5972588 140720516239760 140720516236984 4931696 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9354 2639 855 435 0 2717 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 37416 KiB
Current children cumulated memory: 10556 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/182 17756
/proc/meminfo: memFree=31787892/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37416 memory=10612 CPUtime=102.24 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 11415 0 0 0 10223 1 0 0 20 0 1 0 47808842 38313984 2653 18446744073709551615 4194304 5972588 140720516239760 140720516236984 5039164 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9354 2653 855 435 0 2717 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 37416 KiB
Current children cumulated memory: 10612 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.14 3/182 17758
/proc/meminfo: memFree=31788196/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37416 memory=10644 CPUtime=162.24 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 12125 0 0 0 16223 1 0 0 20 0 1 0 47808842 38313984 2661 18446744073709551615 4194304 5972588 140720516239760 140720516236984 5099648 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9354 2661 855 435 0 2717 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 37416 KiB
Current children cumulated memory: 10644 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.03 2.14 3/182 17760
/proc/meminfo: memFree=31788044/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37416 memory=10684 CPUtime=222.24 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 12835 0 0 0 22223 1 0 0 20 0 1 0 47808842 38313984 2671 18446744073709551615 4194304 5972588 140720516239760 140720516236984 5139291 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9354 2671 855 435 0 2717 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 37416 KiB
Current children cumulated memory: 10684 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.13 3/181 17823
/proc/meminfo: memFree=31859048/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37416 memory=10704 CPUtime=282.24 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 13546 0 0 0 28223 1 0 0 20 0 1 0 47808842 38313984 2676 18446744073709551615 4194304 5972588 140720516239760 140720516236984 4908860 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9354 2676 855 435 0 2717 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 37416 KiB
Current children cumulated memory: 10704 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.13 3/181 17825
/proc/meminfo: memFree=31858932/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10736 CPUtime=342.24 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 14262 0 0 0 34223 1 0 0 20 0 1 0 47808842 38449152 2684 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4935463 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2684 855 435 0 2750 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10736 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/180 17827
/proc/meminfo: memFree=31859592/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10740 CPUtime=402.24 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 14977 0 0 0 40223 1 0 0 20 0 1 0 47808842 38449152 2685 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4934318 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2685 855 435 0 2750 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10740 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/181 17830
/proc/meminfo: memFree=31858220/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10756 CPUtime=462.24 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 15695 0 0 0 46223 1 0 0 20 0 1 0 47808842 38449152 2689 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4935463 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2689 855 435 0 2750 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10756 KiB
################
# More data... #
################
/proc/17752/statm: 9387 2722 855 435 0 2750 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10888 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 17920
/proc/meminfo: memFree=31852152/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10888 CPUtime=1782.27 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 31133 0 0 0 178226 1 0 0 20 0 1 0 47808842 38449152 2722 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4935411 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2722 855 435 0 2750 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10888 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 17922
/proc/meminfo: memFree=31852152/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10892 CPUtime=1842.28 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 31887 0 0 0 184226 2 0 0 20 0 1 0 47808842 38449152 2723 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4931750 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2723 855 435 0 2750 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10892 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17924
/proc/meminfo: memFree=31856240/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10896 CPUtime=1902.28 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 32562 0 0 0 190226 2 0 0 20 0 1 0 47808842 38449152 2724 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4931808 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2724 855 435 0 2750 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10896 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17926
/proc/meminfo: memFree=31856620/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10896 CPUtime=1962.28 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 33193 0 0 0 196226 2 0 0 20 0 1 0 47808842 38449152 2724 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4935456 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2724 855 435 0 2750 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10896 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17928
/proc/meminfo: memFree=31857248/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10904 CPUtime=2022.28 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 33855 0 0 0 202226 2 0 0 20 0 1 0 47808842 38449152 2726 18446744073709551615 4194304 5972588 140720516239760 140720516236344 5328649 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2726 855 435 0 2750 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10904 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17930
/proc/meminfo: memFree=31857524/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10904 CPUtime=2082.28 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 34404 0 0 0 208226 2 0 0 20 0 1 0 47808842 38449152 2726 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4909416 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2726 855 435 0 2750 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10904 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17932
/proc/meminfo: memFree=31857772/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10908 CPUtime=2142.29 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 35145 0 0 0 214227 2 0 0 20 0 1 0 47808842 38449152 2727 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4931834 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2727 855 435 0 2750 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10908 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17934
/proc/meminfo: memFree=31857612/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10908 CPUtime=2202.29 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 35707 0 0 0 220227 2 0 0 20 0 1 0 47808842 38449152 2727 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4935411 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2727 855 435 0 2750 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10908 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17936
/proc/meminfo: memFree=31857808/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10908 CPUtime=2262.29 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 36314 0 0 0 226227 2 0 0 20 0 1 0 47808842 38449152 2727 18446744073709551615 4194304 5972588 140720516239760 140720516236344 5328030 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2727 855 435 0 2750 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10908 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17938
/proc/meminfo: memFree=31857824/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10908 CPUtime=2322.29 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 36845 0 0 0 232227 2 0 0 20 0 1 0 47808842 38449152 2727 18446744073709551615 4194304 5972588 140720516239760 140720516236344 5039600 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2727 855 435 0 2750 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10908 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 17954
/proc/meminfo: memFree=31853144/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10920 CPUtime=2382.29 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 37603 0 0 0 238227 2 0 0 20 0 1 0 47808842 38449152 2730 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4935792 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2730 855 435 0 2750 0
Current children cumulated CPU time: 2382.29 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10920 KiB
[startup+2442.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 17956
/proc/meminfo: memFree=31853292/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10920 CPUtime=2442.29 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 38187 0 0 0 244227 2 0 0 20 0 1 0 47808842 38449152 2730 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4935502 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2730 855 435 0 2750 0
Current children cumulated CPU time: 2442.29 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10920 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 17958
/proc/meminfo: memFree=31856828/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10920 CPUtime=2502.29 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 38723 0 0 0 250227 2 0 0 20 0 1 0 47808842 38449152 2730 18446744073709551615 4194304 5972588 140720516239760 140720516236344 4935463 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2730 855 435 0 2750 0
Current children cumulated CPU time: 2502.29 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10920 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.02 2.02 2.05 3/181 17958
/proc/meminfo: memFree=31856828/32770624 swapFree=67108860/67108860
[pid=17752] ppid=17749 vsize=37548 memory=10920 CPUtime=2520 cores=1,3,5,7
/proc/17752/stat : 17752 (cosoco) R 17749 17752 11586 0 -1 4202496 39247 0 0 0 251998 2 0 0 20 0 1 0 47808842 38449152 2730 18446744073709551615 4194304 5972588 140720516239760 140720516236344 5328506 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 21983232 140720516243908 140720516244008 140720516244008 140720516247502 0
/proc/17752/statm: 9387 2730 855 435 0 2750 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 37548 KiB
Current children cumulated memory: 10920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 17752 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.99 s, system=0.022 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.01
CPU user time (s): 2519.99
CPU system time (s): 0.022
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 37548
Max. memory (cumulated for all children) (KiB): 10920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.99
system time used= 0.022
maximum resident set size= 10992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39305
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= 636
# summary of solver processes directly reported to runsolver:
# pid: 17752
# total CPU time (s): 2520.01
# total CPU user time (s): 2519.99
# total CPU system time (s): 0.022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.88327 second user time and 16.2368 second system time
The end