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 (2702 MiB free)
memory of node 1: 16384 MiB (6825 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294318-1532445560/watcher-4294318-1532445560 -o /tmp/evaluation-result-4294318-1532445560/solver-4294318-1532445560 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532432876-20752 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294318-1532445560.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
Current StackSize limit: 8192 KiB
solver pid=21959, runsolver pid=21956
[startup+0.10015 s]*
/proc/loadavg: 2.06 2.03 2.05 3/187 21960
/proc/meminfo: memFree=9745536/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=40264 memory=16544 CPUtime=0.09 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 4342 0 0 0 9 0 0 0 20 0 1 0 62118847 41230336 4136 33554432000 4194304 6142532 140720806687248 140720806683880 140453763587045 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 10066 4136 835 476 0 3388 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40264 KiB
Current children cumulated memory: 16544 KiB
[startup+0.209636 s]*
/proc/loadavg: 2.06 2.03 2.05 3/187 21960
/proc/meminfo: memFree=9723960/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=62248 memory=38600 CPUtime=0.21 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 9833 0 0 0 20 1 0 0 20 0 1 0 62118847 63741952 9650 33554432000 4194304 6142532 140720806687248 140720806683880 140453763587045 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 15562 9650 835 476 0 8884 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62248 KiB
Current children cumulated memory: 38600 KiB
[startup+0.309699 s]*
/proc/loadavg: 2.06 2.03 2.05 3/187 21960
/proc/meminfo: memFree=9704088/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=82192 memory=58564 CPUtime=0.31 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 14834 0 0 0 29 2 0 0 20 0 1 0 62118847 84164608 14641 33554432000 4194304 6142532 140720806687248 140720806683880 140453763587045 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 20548 14641 835 476 0 13870 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 82192 KiB
Current children cumulated memory: 58564 KiB
[startup+0.700357 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 21960
/proc/meminfo: memFree=9663912/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=158796 memory=135112 CPUtime=0.69 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 33962 0 0 0 64 5 0 0 20 0 1 0 62118847 162607104 33778 33554432000 4194304 6142532 140720806687248 140720806683880 140453763587045 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 39699 33778 835 476 0 33021 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 158796 KiB
Current children cumulated memory: 135112 KiB
[startup+1.50028 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 21960
/proc/meminfo: memFree=9593564/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=190860 memory=167368 CPUtime=1.49 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 42060 0 0 0 143 6 0 0 20 0 1 0 62118847 195440640 41842 33554432000 4194304 6142532 140720806687248 140720806683880 4965024 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 47715 41842 884 476 0 41037 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 190860 KiB
Current children cumulated memory: 167368 KiB
[startup+3.10914 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 21960
/proc/meminfo: memFree=9591180/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=191520 memory=168284 CPUtime=3.1 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 44509 0 0 0 304 6 0 0 20 0 1 0 62118847 196116480 42071 33554432000 4194304 6142532 140720806687248 140720806684216 5367130 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 47880 42071 887 476 0 41202 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 191520 KiB
Current children cumulated memory: 168284 KiB
[startup+6.30027 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 21960
/proc/meminfo: memFree=9589692/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=192840 memory=169604 CPUtime=6.29 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 51227 0 0 0 623 6 0 0 20 0 1 0 62118847 197468160 42401 33554432000 4194304 6142532 140720806687248 140720806683960 140453764513191 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 48210 42401 887 476 0 41532 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 192840 KiB
Current children cumulated memory: 169604 KiB
[startup+12.7003 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 21960
/proc/meminfo: memFree=9589492/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=193236 memory=169992 CPUtime=12.68 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 65289 0 0 0 1262 6 0 0 20 0 1 0 62118847 197873664 42498 33554432000 4194304 6142532 140720806687248 140720806684216 5047842 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 48309 42498 887 476 0 41631 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 193236 KiB
Current children cumulated memory: 169992 KiB
[startup+25.5003 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 21960
/proc/meminfo: memFree=9538076/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=244668 memory=221352 CPUtime=25.48 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 99735 0 0 0 2540 8 0 0 20 0 1 0 62118847 250540032 55338 33554432000 4194304 6142532 140720806687248 140720806683896 5374088 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 61167 55338 887 476 0 54489 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 244668 KiB
Current children cumulated memory: 221352 KiB
[startup+51.1093 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 21968
/proc/meminfo: memFree=9506276/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=279696 memory=252536 CPUtime=51.09 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 138860 0 0 0 5098 11 0 0 20 0 1 0 62118847 286408704 63134 33554432000 4194304 6142532 140720806687248 140720806683960 5367122 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 69924 63134 887 476 0 63246 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 279696 KiB
Current children cumulated memory: 252536 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 21969
/proc/meminfo: memFree=9502008/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=284352 memory=256456 CPUtime=102.27 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 160256 0 0 0 10215 12 0 0 20 0 1 0 62118847 291176448 64114 33554432000 4194304 6142532 140720806687248 140720806684104 140453773531997 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 71088 64114 887 476 0 64410 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 284352 KiB
Current children cumulated memory: 256456 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 21970
/proc/meminfo: memFree=9496428/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=285928 memory=262368 CPUtime=162.26 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 164791 0 0 0 16214 12 0 0 20 0 1 0 62118847 292790272 65592 33554432000 4194304 6142532 140720806687248 140720806683960 140453773532048 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 71482 65592 887 476 0 64804 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 285928 KiB
Current children cumulated memory: 262368 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 21971
/proc/meminfo: memFree=9495256/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=287824 memory=263892 CPUtime=222.26 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 165839 0 0 0 22214 12 0 0 20 0 1 0 62118847 294731776 65973 33554432000 4194304 6142532 140720806687248 140720806684104 5371828 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 71956 65973 887 476 0 65278 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 287824 KiB
Current children cumulated memory: 263892 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 21972
/proc/meminfo: memFree=9496680/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=287964 memory=264068 CPUtime=282.26 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 166665 0 0 0 28213 13 0 0 20 0 1 0 62118847 294875136 66017 33554432000 4194304 6142532 140720806687248 140720806683960 5367138 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 71991 66017 887 476 0 65313 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 287964 KiB
Current children cumulated memory: 264068 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 21974
/proc/meminfo: memFree=9495800/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=288456 memory=264488 CPUtime=342.26 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 167788 0 0 0 34213 13 0 0 20 0 1 0 62118847 295378944 66122 33554432000 4194304 6142532 140720806687248 140720806684040 5371778 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 72114 66122 887 476 0 65436 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 288456 KiB
Current children cumulated memory: 264488 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22036
/proc/meminfo: memFree=9491520/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=290932 memory=267296 CPUtime=402.25 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 169574 0 0 0 40212 13 0 0 20 0 1 0 62118847 297914368 66824 33554432000 4194304 6142532 140720806687248 140720806683960 5363506 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 72733 66824 887 476 0 66055 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 290932 KiB
Current children cumulated memory: 267296 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22037
/proc/meminfo: memFree=9491400/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=290932 memory=267552 CPUtime=462.24 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 170268 0 0 0 46211 13 0 0 20 0 1 0 62118847 297914368 66888 33554432000 4194304 6142532 140720806687248 140720806683960 140453764510726 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 72733 66888 887 476 0 66055 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 290932 KiB
Current children cumulated memory: 267552 KiB
################
# More data... #
################
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 22076
/proc/meminfo: memFree=9476572/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=1782.14 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 182286 0 0 0 178200 14 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5398825 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 22085
/proc/meminfo: memFree=9475260/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=1842.14 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 182775 0 0 0 184200 14 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5366776 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 22086
/proc/meminfo: memFree=9476092/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=1902.13 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 183033 0 0 0 190199 14 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5048052 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 22087
/proc/meminfo: memFree=9476552/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=1962.13 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 183236 0 0 0 196199 14 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5399821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22088
/proc/meminfo: memFree=9476568/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=2022.12 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 183737 0 0 0 202198 14 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5366734 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22089
/proc/meminfo: memFree=9476568/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=2082.12 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 183943 0 0 0 208198 14 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5367428 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22091
/proc/meminfo: memFree=9476180/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=2142.11 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 184149 0 0 0 214197 14 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5175264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22092
/proc/meminfo: memFree=9476148/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=2202.11 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 184354 0 0 0 220197 14 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 140453773531992 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+2262.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/187 22093
/proc/meminfo: memFree=9475492/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=2262.1 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 184559 0 0 0 226196 14 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5366742 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+2322.3 s]
/proc/loadavg: 2.27 2.13 2.09 3/187 22095
/proc/meminfo: memFree=9475476/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=2322.1 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 184764 0 0 0 232196 14 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5376434 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+2382.3 s]
/proc/loadavg: 2.10 2.11 2.08 3/187 22096
/proc/meminfo: memFree=9475672/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=2382.09 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 184969 0 0 0 238195 14 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5372457 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/188 22105
/proc/meminfo: memFree=9474616/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=2442.09 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 185176 0 0 0 244195 14 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5374065 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 2442.09 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 22128
/proc/meminfo: memFree=9473544/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=2502.09 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 185381 0 0 0 250194 15 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5363597 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.08 2.08 2.07 3/188 22128
/proc/meminfo: memFree=9474624/32770624 swapFree=67108860/67108860
[pid=21959] ppid=21956 vsize=305116 memory=281768 CPUtime=2519.8 cores=0,2,4,6
/proc/21959/stat : 21959 (cosoco) R 21956 21959 20721 0 -1 4202496 185549 0 0 0 251965 15 0 0 20 0 1 0 62118847 312438784 70442 33554432000 4194304 6142532 140720806687248 140720806683992 5371749 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 38862848 140720806696070 140720806696200 140720806696200 140720806698958 0
/proc/21959/statm: 76279 70442 887 476 0 69601 0
Current children cumulated CPU time: 2519.8 s
Current children cumulated vsize: 305116 KiB
Current children cumulated memory: 281768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 21959 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.65 s, system=0.151988 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): 2519.81
CPU user time (s): 2519.65
CPU system time (s): 0.151988
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 305116
Max. memory (cumulated for all children) (KiB): 281768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.151988
maximum resident set size= 281832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185597
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= 18
involuntary context switches= 695
# summary of solver processes directly reported to runsolver:
# pid: 21959
# total CPU time (s): 2519.81
# total CPU user time (s): 2519.65
# total CPU system time (s): 0.151988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.97795 second user time and 16.6352 second system time
The end