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 (15278 MiB free)
memory of node 1: 16384 MiB (15589 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407950-1569808802/watcher-4407950-1569808802 -o /tmp/evaluation-result-4407950-1569808802/solver-4407950-1569808802 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569783168-25107 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407950-1569808802.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=30007, runsolver pid=30004
[startup+0.100154 s]*
/proc/loadavg: 1.89 2.01 2.04 3/199 30008
/proc/meminfo: memFree=31607124/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=28992 memory=5088 CPUtime=0.1 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 1487 0 0 0 10 0 0 0 20 0 1 0 557136518 29687808 1272 33554432000 4194304 6211132 140723477627328 140723477623864 140414393252837 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 7248 1272 798 493 0 553 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28992 KiB
Current children cumulated memory: 5088 KiB
[startup+0.209605 s]*
/proc/loadavg: 1.89 2.01 2.04 3/199 30008
/proc/meminfo: memFree=31601544/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=34916 memory=11068 CPUtime=0.21 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 2966 0 0 0 21 0 0 0 20 0 1 0 557136518 35753984 2767 33554432000 4194304 6211132 140723477627328 140723477623864 5071149 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 8729 2767 816 493 0 2034 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34916 KiB
Current children cumulated memory: 11068 KiB
[startup+0.309419 s]*
/proc/loadavg: 1.89 2.01 2.04 4/199 30008
/proc/meminfo: memFree=31595964/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=40740 memory=17016 CPUtime=0.31 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 4417 0 0 0 31 0 0 0 20 0 1 0 557136518 41717760 4254 33554432000 4194304 6211132 140723477627328 140723477623864 140414393252837 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 10185 4254 816 493 0 3490 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40740 KiB
Current children cumulated memory: 17016 KiB
[startup+0.700298 s]
/proc/loadavg: 1.89 2.01 2.04 4/199 30008
/proc/meminfo: memFree=31584184/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=62896 memory=39180 CPUtime=0.69 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 9985 0 0 0 68 1 0 0 20 0 1 0 557136518 64405504 9795 33554432000 4194304 6211132 140723477627328 140723477620632 140414393252837 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 15724 9795 816 493 0 9029 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62896 KiB
Current children cumulated memory: 39180 KiB
[startup+1.5003 s]
/proc/loadavg: 1.89 2.01 2.04 3/199 30008
/proc/meminfo: memFree=31554800/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=109928 memory=86072 CPUtime=1.49 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 21717 0 0 0 147 2 0 0 20 0 1 0 557136518 112566272 21518 33554432000 4194304 6211132 140723477627328 140723477620632 140414393252837 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 27482 21518 816 493 0 20787 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 109928 KiB
Current children cumulated memory: 86072 KiB
[startup+3.10934 s]
/proc/loadavg: 1.89 2.01 2.04 3/198 30008
/proc/meminfo: memFree=31493376/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=142392 memory=118904 CPUtime=3.1 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 38082 0 0 0 306 4 0 0 20 0 1 0 557136518 145809408 29726 33554432000 4194304 6211132 140723477627328 140723477624984 5446292 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 35598 29726 859 493 0 28903 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 142392 KiB
Current children cumulated memory: 118904 KiB
[startup+6.30026 s]
/proc/loadavg: 1.90 2.01 2.04 3/198 30008
/proc/meminfo: memFree=31490772/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=144768 memory=121288 CPUtime=6.29 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 45972 0 0 0 625 4 0 0 20 0 1 0 557136518 148242432 30322 33554432000 4194304 6211132 140723477627328 140723477624984 5454212 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 36192 30322 861 493 0 29497 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 144768 KiB
Current children cumulated memory: 121288 KiB
[startup+12.7003 s]
/proc/loadavg: 1.90 2.01 2.04 3/198 30008
/proc/meminfo: memFree=31490240/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=145692 memory=122324 CPUtime=12.69 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 53012 0 0 0 1264 5 0 0 20 0 1 0 557136518 149188608 30581 33554432000 4194304 6211132 140723477627328 140723477624984 140414394173328 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 36423 30581 861 493 0 29728 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 145692 KiB
Current children cumulated memory: 122324 KiB
[startup+25.5003 s]
/proc/loadavg: 1.93 2.01 2.04 3/198 30073
/proc/meminfo: memFree=31389404/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=147012 memory=123516 CPUtime=25.49 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 67574 0 0 0 2543 6 0 0 20 0 1 0 557136518 150540288 30879 33554432000 4194304 6211132 140723477627328 140723477624984 5065987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 36753 30879 861 493 0 30058 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 147012 KiB
Current children cumulated memory: 123516 KiB
[startup+51.1091 s]
/proc/loadavg: 2.02 2.02 2.04 3/200 30083
/proc/meminfo: memFree=31379200/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=154140 memory=130592 CPUtime=51.09 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 86629 0 0 0 5103 6 0 0 20 0 1 0 557136518 157839360 32648 33554432000 4194304 6211132 140723477627328 140723477624984 140414403197784 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 38535 32648 861 493 0 31840 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 154140 KiB
Current children cumulated memory: 130592 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/199 30087
/proc/meminfo: memFree=31371596/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=157176 memory=133640 CPUtime=102.28 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 93713 0 0 0 10221 7 0 0 20 0 1 0 557136518 160948224 33410 33554432000 4194304 6211132 140723477627328 140723477624984 5453958 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 39294 33410 861 493 0 32599 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 157176 KiB
Current children cumulated memory: 133640 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30091
/proc/meminfo: memFree=31367604/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=157836 memory=134320 CPUtime=162.26 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 95141 0 0 0 16219 7 0 0 20 0 1 0 557136518 161624064 33580 33554432000 4194304 6211132 140723477627328 140723477624984 5451580 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 39459 33580 861 493 0 32764 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 157836 KiB
Current children cumulated memory: 134320 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 30095
/proc/meminfo: memFree=31363416/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=158232 memory=134712 CPUtime=222.26 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 95670 0 0 0 22219 7 0 0 20 0 1 0 557136518 162029568 33678 33554432000 4194304 6211132 140723477627328 140723477624984 5478384 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 39558 33678 861 493 0 32863 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 158232 KiB
Current children cumulated memory: 134712 KiB
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 30101
/proc/meminfo: memFree=31360076/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=158760 memory=135336 CPUtime=282.25 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 96312 0 0 0 28218 7 0 0 20 0 1 0 557136518 162570240 33834 33554432000 4194304 6211132 140723477627328 140723477624984 5442988 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 39690 33834 861 493 0 32995 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 158760 KiB
Current children cumulated memory: 135336 KiB
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/198 30106
/proc/meminfo: memFree=31350836/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=159288 memory=135788 CPUtime=342.24 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 97037 0 0 0 34217 7 0 0 20 0 1 0 557136518 163110912 33947 33554432000 4194304 6211132 140723477627328 140723477624984 5446311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 39822 33947 861 493 0 33127 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 159288 KiB
Current children cumulated memory: 135788 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 30110
/proc/meminfo: memFree=31348300/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=159948 memory=136504 CPUtime=402.24 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 97771 0 0 0 40217 7 0 0 20 0 1 0 557136518 163786752 34126 33554432000 4194304 6211132 140723477627328 140723477624984 5453946 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 39987 34126 861 493 0 33292 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 159948 KiB
Current children cumulated memory: 136504 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 30116
/proc/meminfo: memFree=31345704/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=160212 memory=136720 CPUtime=462.24 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 98133 0 0 0 46216 8 0 0 20 0 1 0 557136518 164057088 34180 33554432000 4194304 6211132 140723477627328 140723477625288 140414394177124 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 40053 34180 861 493 0 33358 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 160212 KiB
Current children cumulated memory: 136720 KiB
################
# More data... #
################
/proc/30007/statm: 42924 37043 861 493 0 36229 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 171696 KiB
Current children cumulated memory: 148172 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30255
/proc/meminfo: memFree=31330004/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=171696 memory=148312 CPUtime=1782.15 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 108511 0 0 0 178206 9 0 0 20 0 1 0 557136518 175816704 37078 33554432000 4194304 6211132 140723477627328 140723477624984 5446292 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 42924 37078 861 493 0 36229 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 171696 KiB
Current children cumulated memory: 148312 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30264
/proc/meminfo: memFree=31328800/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=171696 memory=148312 CPUtime=1842.14 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 108698 0 0 0 184205 9 0 0 20 0 1 0 557136518 175816704 37078 33554432000 4194304 6211132 140723477627328 140723477625288 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 42924 37078 861 493 0 36229 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 171696 KiB
Current children cumulated memory: 148312 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30270
/proc/meminfo: memFree=31329676/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=171696 memory=148316 CPUtime=1902.14 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 108831 0 0 0 190205 9 0 0 20 0 1 0 557136518 175816704 37079 33554432000 4194304 6211132 140723477627328 140723477625288 5065840 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 42924 37079 861 493 0 36229 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 171696 KiB
Current children cumulated memory: 148316 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30274
/proc/meminfo: memFree=31330040/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=171828 memory=148328 CPUtime=1962.13 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 108995 0 0 0 196204 9 0 0 20 0 1 0 557136518 175951872 37082 33554432000 4194304 6211132 140723477627328 140723477624984 5443104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 42957 37082 861 493 0 36262 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 171828 KiB
Current children cumulated memory: 148328 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30278
/proc/meminfo: memFree=31330200/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=171828 memory=148396 CPUtime=2022.13 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 109159 0 0 0 202204 9 0 0 20 0 1 0 557136518 175951872 37099 33554432000 4194304 6211132 140723477627328 140723477625288 5452266 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 42957 37099 861 493 0 36262 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 171828 KiB
Current children cumulated memory: 148396 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30284
/proc/meminfo: memFree=31329648/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=171828 memory=148416 CPUtime=2082.13 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 109295 0 0 0 208204 9 0 0 20 0 1 0 557136518 175951872 37104 33554432000 4194304 6211132 140723477627328 140723477625288 5454192 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 42957 37104 861 493 0 36262 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 171828 KiB
Current children cumulated memory: 148416 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30289
/proc/meminfo: memFree=31329652/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=171828 memory=148420 CPUtime=2142.12 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 109427 0 0 0 214203 9 0 0 20 0 1 0 557136518 175951872 37105 33554432000 4194304 6211132 140723477627328 140723477625288 5442988 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 42957 37105 861 493 0 36262 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 171828 KiB
Current children cumulated memory: 148420 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30293
/proc/meminfo: memFree=31329312/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=171828 memory=148420 CPUtime=2202.12 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 109607 0 0 0 220203 9 0 0 20 0 1 0 557136518 175951872 37105 33554432000 4194304 6211132 140723477627328 140723477625288 5455682 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 42957 37105 861 493 0 36262 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 171828 KiB
Current children cumulated memory: 148420 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 30299
/proc/meminfo: memFree=31329380/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=171960 memory=148452 CPUtime=2262.11 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 109766 0 0 0 226202 9 0 0 20 0 1 0 557136518 176087040 37113 33554432000 4194304 6211132 140723477627328 140723477624984 5451590 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 42990 37113 861 493 0 36295 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 171960 KiB
Current children cumulated memory: 148452 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 30305
/proc/meminfo: memFree=31329896/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=171960 memory=148496 CPUtime=2322.11 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 109954 0 0 0 232202 9 0 0 20 0 1 0 557136518 176087040 37124 33554432000 4194304 6211132 140723477627328 140723477625288 5480247 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 42990 37124 861 493 0 36295 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 171960 KiB
Current children cumulated memory: 148496 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 30309
/proc/meminfo: memFree=31327672/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=174072 memory=150616 CPUtime=2382.1 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 110767 0 0 0 238201 9 0 0 20 0 1 0 557136518 178249728 37654 33554432000 4194304 6211132 140723477627328 140723477624984 5441144 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 43518 37654 861 493 0 36823 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 174072 KiB
Current children cumulated memory: 150616 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 30320
/proc/meminfo: memFree=31325872/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=174732 memory=151168 CPUtime=2442.1 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 111592 0 0 0 244201 9 0 0 20 0 1 0 557136518 178925568 37792 33554432000 4194304 6211132 140723477627328 140723477624984 5440656 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 43683 37792 861 493 0 36988 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 174732 KiB
Current children cumulated memory: 151168 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 30324
/proc/meminfo: memFree=31326628/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=174864 memory=151484 CPUtime=2502.09 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 112211 0 0 0 250200 9 0 0 20 0 1 0 557136518 179060736 37871 33554432000 4194304 6211132 140723477627328 140723477624984 5456342 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 43716 37871 861 493 0 37021 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 174864 KiB
Current children cumulated memory: 151484 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 30326
/proc/meminfo: memFree=31325772/32770624 swapFree=66986684/67108860
[pid=30007] ppid=30004 vsize=174864 memory=151488 CPUtime=2519.8 cores=1,3,5,7
/proc/30007/stat : 30007 (cosoco) R 30004 30007 25075 0 -1 4202496 112677 0 0 0 251971 9 0 0 20 0 1 0 557136518 179060736 37872 33554432000 4194304 6211132 140723477627328 140723477624984 140414394177104 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 31100928 140723477636107 140723477636209 140723477636209 140723477639118 0
/proc/30007/statm: 43716 37872 861 493 0 37021 0
Current children cumulated CPU time: 2519.8 s
Current children cumulated vsize: 174864 KiB
Current children cumulated memory: 151488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 30007 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.72 s, system=0.097992 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.72
CPU system time (s): 0.097992
CPU usage (%): 99.9922
Max. virtual memory (cumulated for all children) (KiB): 174864
Max. memory (cumulated for all children) (KiB): 151488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.72
system time used= 0.097992
maximum resident set size= 151556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112727
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= 29
involuntary context switches= 1264
# summary of solver processes directly reported to runsolver:
# pid: 30007
# total CPU time (s): 2519.81
# total CPU user time (s): 2519.72
# total CPU system time (s): 0.097992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.10722 second user time and 16.2899 second system time
The end