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 (15279 MiB free)
memory of node 1: 16384 MiB (15435 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389449-1568357791/watcher-4389449-1568357791 -o /tmp/evaluation-result-4389449-1568357791/solver-4389449-1568357791 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568354075-6319 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389449-1568357791.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
Current StackSize limit: 8192 KiB
solver pid=6343, runsolver pid=6339
[startup+0.100153 s]*
/proc/loadavg: 3.59 3.64 4.18 3/199 6349
/proc/meminfo: memFree=31448936/32770624 swapFree=66921524/67108860
[pid=6343] ppid=6339 vsize=28896 memory=4912 CPUtime=0.09 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 1430 0 0 0 9 0 0 0 20 0 1 0 412035137 29589504 1228 33554432000 4194304 6210612 140722030995104 140722030991592 5734656 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 7224 1228 796 493 0 529 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28896 KiB
Current children cumulated memory: 4912 KiB
[startup+0.20958 s]*
/proc/loadavg: 3.59 3.64 4.18 3/199 6349
/proc/meminfo: memFree=31440184/32770624 swapFree=66921524/67108860
[pid=6343] ppid=6339 vsize=33504 memory=9640 CPUtime=0.2 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 2633 0 0 0 20 0 0 0 20 0 1 0 412035137 34308096 2410 33554432000 4194304 6210612 140722030995104 140722030991592 140027185011685 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 8376 2410 815 493 0 1681 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33504 KiB
Current children cumulated memory: 9640 KiB
[startup+0.309414 s]*
/proc/loadavg: 3.59 3.64 4.18 3/199 6349
/proc/meminfo: memFree=31428652/32770624 swapFree=66921524/67108860
[pid=6343] ppid=6339 vsize=38920 memory=15064 CPUtime=0.3 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 3979 0 0 0 30 0 0 0 20 0 1 0 412035137 39854080 3766 33554432000 4194304 6210612 140722030995104 140722030991592 140027185011685 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 9730 3766 815 493 0 3035 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38920 KiB
Current children cumulated memory: 15064 KiB
[startup+0.700289 s]
/proc/loadavg: 3.59 3.64 4.18 3/199 6349
/proc/meminfo: memFree=31406224/32770624 swapFree=66921524/67108860
[pid=6343] ppid=6339 vsize=59492 memory=35768 CPUtime=0.68 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 9121 0 0 0 67 1 0 0 20 0 1 0 412035137 60919808 8942 33554432000 4194304 6210612 140722030995104 140722030991592 140027185011685 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 14873 8942 815 493 0 8178 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59492 KiB
Current children cumulated memory: 35768 KiB
[startup+1.5003 s]
/proc/loadavg: 3.59 3.64 4.18 3/199 6349
/proc/meminfo: memFree=31352588/32770624 swapFree=66921524/67108860
[pid=6343] ppid=6339 vsize=102100 memory=78424 CPUtime=1.47 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 19781 0 0 0 144 3 0 0 20 0 1 0 412035137 104550400 19606 33554432000 4194304 6210612 140722030995104 140722030990200 140027185011685 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 25525 19606 815 493 0 18830 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 102100 KiB
Current children cumulated memory: 78424 KiB
[startup+3.10946 s]
/proc/loadavg: 3.70 3.66 4.18 3/199 6349
/proc/meminfo: memFree=31247988/32770624 swapFree=66921524/67108860
[pid=6343] ppid=6339 vsize=127056 memory=103548 CPUtime=3.09 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 28725 0 0 0 305 4 0 0 20 0 1 0 412035137 130105344 25887 33554432000 4194304 6210612 140722030995104 140722030992760 5451350 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 31764 25887 856 493 0 25069 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 127056 KiB
Current children cumulated memory: 103548 KiB
[startup+6.30026 s]
/proc/loadavg: 3.70 3.66 4.18 3/199 6349
/proc/meminfo: memFree=31245460/32770624 swapFree=66921524/67108860
[pid=6343] ppid=6339 vsize=128772 memory=105248 CPUtime=6.28 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 32561 0 0 0 623 5 0 0 20 0 1 0 412035137 131862528 26312 33554432000 4194304 6210612 140722030995104 140722030992760 5480096 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 32193 26312 859 493 0 25498 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 128772 KiB
Current children cumulated memory: 105248 KiB
[startup+12.7003 s]
/proc/loadavg: 3.57 3.64 4.17 3/200 6351
/proc/meminfo: memFree=31243476/32770624 swapFree=66921524/67108860
[pid=6343] ppid=6339 vsize=129960 memory=106432 CPUtime=12.68 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 40535 0 0 0 1263 5 0 0 20 0 1 0 412035137 133079040 26608 33554432000 4194304 6210612 140722030995104 140722030992760 5068914 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 32490 26608 859 493 0 25795 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 129960 KiB
Current children cumulated memory: 106432 KiB
[startup+25.5003 s]
/proc/loadavg: 3.22 3.56 4.13 3/199 6351
/proc/meminfo: memFree=31243320/32770624 swapFree=66921524/67108860
[pid=6343] ppid=6339 vsize=130620 memory=107148 CPUtime=25.48 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 49391 0 0 0 2542 6 0 0 20 0 1 0 412035137 133754880 26787 33554432000 4194304 6210612 140722030995104 140722030992760 5446066 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 32655 26787 859 493 0 25960 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 130620 KiB
Current children cumulated memory: 107148 KiB
[startup+51.1095 s]
/proc/loadavg: 2.80 3.43 4.08 3/198 6353
/proc/meminfo: memFree=31236196/32770624 swapFree=66921524/67108860
[pid=6343] ppid=6339 vsize=135768 memory=112188 CPUtime=51.08 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 56594 0 0 0 5102 6 0 0 20 0 1 0 412035137 139026432 28047 33554432000 4194304 6210612 140722030995104 140722030992760 5439442 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 33942 28047 859 493 0 27247 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 135768 KiB
Current children cumulated memory: 112188 KiB
[startup+102.3 s]
/proc/loadavg: 2.35 3.21 3.97 3/198 6359
/proc/meminfo: memFree=31228248/32770624 swapFree=66921524/67108860
[pid=6343] ppid=6339 vsize=136164 memory=112748 CPUtime=102.26 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 57148 0 0 0 10220 6 0 0 20 0 1 0 412035137 139431936 28187 33554432000 4194304 6210612 140722030995104 140722030993064 5452082 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 34041 28187 859 493 0 27346 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 136164 KiB
Current children cumulated memory: 112748 KiB
[startup+162.3 s]
/proc/loadavg: 2.13 2.99 3.85 3/198 6363
/proc/meminfo: memFree=31218216/32770624 swapFree=66921524/67108860
[pid=6343] ppid=6339 vsize=139068 memory=115440 CPUtime=162.26 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 59033 0 0 0 16219 7 0 0 20 0 1 0 412035137 142405632 28860 33554432000 4194304 6210612 140722030995104 140722030992760 5439626 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 34767 28860 859 493 0 28072 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 139068 KiB
Current children cumulated memory: 115440 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.81 3.73 3/198 6368
/proc/meminfo: memFree=31214548/32770624 swapFree=66921528/67108860
[pid=6343] ppid=6339 vsize=142632 memory=119088 CPUtime=222.25 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 61280 0 0 0 22218 7 0 0 20 0 1 0 412035137 146055168 29772 33554432000 4194304 6210612 140722030995104 140722030992760 5442804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 35658 29772 859 493 0 28963 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 142632 KiB
Current children cumulated memory: 119088 KiB
[startup+282.3 s]
/proc/loadavg: 2.10 2.68 3.63 3/198 6374
/proc/meminfo: memFree=31208956/32770624 swapFree=66921528/67108860
[pid=6343] ppid=6339 vsize=144876 memory=121456 CPUtime=282.24 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 63865 0 0 0 28217 7 0 0 20 0 1 0 412035137 148353024 30364 33554432000 4194304 6210612 140722030995104 140722030992760 5072495 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 36219 30364 859 493 0 29524 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 144876 KiB
Current children cumulated memory: 121456 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.56 3.53 3/198 6385
/proc/meminfo: memFree=31199232/32770624 swapFree=66921540/67108860
[pid=6343] ppid=6339 vsize=154116 memory=130568 CPUtime=342.24 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 68337 0 0 0 34216 8 0 0 20 0 1 0 412035137 157814784 32642 33554432000 4194304 6210612 140722030995104 140722030992760 140027185935694 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 38529 32642 859 493 0 31834 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 154116 KiB
Current children cumulated memory: 130568 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.45 3.43 3/198 6411
/proc/meminfo: memFree=31196836/32770624 swapFree=66921556/67108860
[pid=6343] ppid=6339 vsize=155568 memory=132056 CPUtime=402.23 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 70461 0 0 0 40215 8 0 0 20 0 1 0 412035137 159301632 33014 33554432000 4194304 6210612 140722030995104 140722030992760 5446050 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 38892 33014 859 493 0 32197 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 155568 KiB
Current children cumulated memory: 132056 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.37 3.34 3/198 6417
/proc/meminfo: memFree=31194256/32770624 swapFree=66921556/67108860
[pid=6343] ppid=6339 vsize=157680 memory=134196 CPUtime=462.22 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 72154 0 0 0 46214 8 0 0 20 0 1 0 412035137 161464320 33549 33554432000 4194304 6210612 140722030995104 140722030992760 5442936 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39420 33549 859 493 0 32725 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 157680 KiB
Current children cumulated memory: 134196 KiB
################
# More data... #
################
/proc/6343/statm: 39948 34071 859 493 0 33253 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136284 KiB
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.34 3/199 6535
/proc/meminfo: memFree=31176984/32770624 swapFree=66921564/67108860
[pid=6343] ppid=6339 vsize=159792 memory=136324 CPUtime=1782.06 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 82065 0 0 0 178198 8 0 0 20 0 1 0 412035137 163627008 34081 33554432000 4194304 6210612 140722030995104 140722030992760 5442951 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39948 34081 859 493 0 33253 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136324 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.31 3/198 6540
/proc/meminfo: memFree=31177128/32770624 swapFree=66921564/67108860
[pid=6343] ppid=6339 vsize=159792 memory=136336 CPUtime=1842.05 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 82456 0 0 0 184197 8 0 0 20 0 1 0 412035137 163627008 34084 33554432000 4194304 6210612 140722030995104 140722030993064 5068676 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39948 34084 859 493 0 33253 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136336 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.30 3/198 6546
/proc/meminfo: memFree=31176836/32770624 swapFree=66921564/67108860
[pid=6343] ppid=6339 vsize=159792 memory=136340 CPUtime=1902.05 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 82786 0 0 0 190197 8 0 0 20 0 1 0 412035137 163627008 34085 33554432000 4194304 6210612 140722030995104 140722030993064 140027185932176 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39948 34085 859 493 0 33253 0
Current children cumulated CPU time: 1902.05 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136340 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.28 3/198 6549
/proc/meminfo: memFree=31176896/32770624 swapFree=66921564/67108860
[pid=6343] ppid=6339 vsize=159792 memory=136344 CPUtime=1962.04 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 83124 0 0 0 196196 8 0 0 20 0 1 0 412035137 163627008 34086 33554432000 4194304 6210612 140722030995104 140722030993064 5439668 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39948 34086 859 493 0 33253 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136344 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.27 3/198 6554
/proc/meminfo: memFree=31177136/32770624 swapFree=66921564/67108860
[pid=6343] ppid=6339 vsize=159792 memory=136348 CPUtime=2022.03 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 83444 0 0 0 202195 8 0 0 20 0 1 0 412035137 163627008 34087 33554432000 4194304 6210612 140722030995104 140722030993064 5451282 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39948 34087 859 493 0 33253 0
Current children cumulated CPU time: 2022.03 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136348 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.25 3/198 6560
/proc/meminfo: memFree=31176324/32770624 swapFree=66921564/67108860
[pid=6343] ppid=6339 vsize=159792 memory=136348 CPUtime=2082.03 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 83735 0 0 0 208194 9 0 0 20 0 1 0 412035137 163627008 34087 33554432000 4194304 6210612 140722030995104 140722030993064 140027185935247 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39948 34087 859 493 0 33253 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136348 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.23 3/199 6572
/proc/meminfo: memFree=31176104/32770624 swapFree=66921580/67108860
[pid=6343] ppid=6339 vsize=159792 memory=136352 CPUtime=2142.03 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 84122 0 0 0 214194 9 0 0 20 0 1 0 412035137 163627008 34088 33554432000 4194304 6210612 140722030995104 140722030993064 5164391 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39948 34088 859 493 0 33253 0
Current children cumulated CPU time: 2142.03 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136352 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.22 3/199 6576
/proc/meminfo: memFree=31176236/32770624 swapFree=66921580/67108860
[pid=6343] ppid=6339 vsize=159792 memory=136352 CPUtime=2202.02 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 84369 0 0 0 220193 9 0 0 20 0 1 0 412035137 163627008 34088 33554432000 4194304 6210612 140722030995104 140722030993064 5442909 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39948 34088 859 493 0 33253 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136352 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.21 3/199 6582
/proc/meminfo: memFree=31172464/32770624 swapFree=66921580/67108860
[pid=6343] ppid=6339 vsize=159792 memory=136352 CPUtime=2262.01 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 84628 0 0 0 226192 9 0 0 20 0 1 0 412035137 163627008 34088 33554432000 4194304 6210612 140722030995104 140722030993064 5446050 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39948 34088 859 493 0 33253 0
Current children cumulated CPU time: 2262.01 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136352 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.19 3/199 6586
/proc/meminfo: memFree=31173704/32770624 swapFree=66921580/67108860
[pid=6343] ppid=6339 vsize=159792 memory=136352 CPUtime=2322 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 84918 0 0 0 232191 9 0 0 20 0 1 0 412035137 163627008 34088 33554432000 4194304 6210612 140722030995104 140722030993064 5451347 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39948 34088 859 493 0 33253 0
Current children cumulated CPU time: 2322 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136352 KiB
[startup+2382.3 s]
/proc/loadavg: 2.67 2.17 2.24 3/199 6590
/proc/meminfo: memFree=31174100/32770624 swapFree=66921580/67108860
[pid=6343] ppid=6339 vsize=159792 memory=136352 CPUtime=2382 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 85183 0 0 0 238191 9 0 0 20 0 1 0 412035137 163627008 34088 33554432000 4194304 6210612 140722030995104 140722030993064 5164344 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39948 34088 859 493 0 33253 0
Current children cumulated CPU time: 2382 s
Current children cumulated vsize: 159792 KiB
Current children cumulated memory: 136352 KiB
[startup+2442.3 s]
/proc/loadavg: 2.66 2.29 2.27 3/198 6596
/proc/meminfo: memFree=31172688/32770624 swapFree=66921580/67108860
[pid=6343] ppid=6339 vsize=159924 memory=136388 CPUtime=2441.99 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 85559 0 0 0 244190 9 0 0 20 0 1 0 412035137 163762176 34097 33554432000 4194304 6210612 140722030995104 140722030992760 5440545 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39981 34097 859 493 0 33286 0
Current children cumulated CPU time: 2441.99 s
Current children cumulated vsize: 159924 KiB
Current children cumulated memory: 136388 KiB
[startup+2502.3 s]
/proc/loadavg: 2.24 2.23 2.26 3/198 6600
/proc/meminfo: memFree=31172708/32770624 swapFree=66921580/67108860
[pid=6343] ppid=6339 vsize=159924 memory=136452 CPUtime=2501.98 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 85886 0 0 0 250189 9 0 0 20 0 1 0 412035137 163762176 34113 33554432000 4194304 6210612 140722030995104 140722030992760 5453766 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39981 34113 859 493 0 33286 0
Current children cumulated CPU time: 2501.98 s
Current children cumulated vsize: 159924 KiB
Current children cumulated memory: 136452 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.17 2.22 2.25 3/198 6601
/proc/meminfo: memFree=31172520/32770624 swapFree=66921580/67108860
[pid=6343] ppid=6339 vsize=159924 memory=136460 CPUtime=2519.69 cores=1,3,5,7
/proc/6343/stat : 6343 (cosoco) R 6339 6343 6287 0 -1 4202496 86147 0 0 0 251960 9 0 0 20 0 1 0 412035137 163762176 34115 33554432000 4194304 6210612 140722030995104 140722030992760 5442822 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 11857920 140722030998539 140722030998641 140722030998641 140722031001550 0
/proc/6343/statm: 39981 34115 859 493 0 33286 0
Current children cumulated CPU time: 2519.69 s
Current children cumulated vsize: 159924 KiB
Current children cumulated memory: 136460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 6343 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.6 s, system=0.092989 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.7
CPU user time (s): 2519.6
CPU system time (s): 0.092989
CPU usage (%): 99.9876
Max. virtual memory (cumulated for all children) (KiB): 159924
Max. memory (cumulated for all children) (KiB): 136460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.6
system time used= 0.092989
maximum resident set size= 136532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86193
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= 59
involuntary context switches= 3153
# summary of solver processes directly reported to runsolver:
# pid: 6343
# total CPU time (s): 2519.7
# total CPU user time (s): 2519.6
# total CPU system time (s): 0.092989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.21015 second user time and 16.4692 second system time
The end