runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241108-1500629254/watcher-4241108-1500629254 -o /tmp/evaluation-result-4241108-1500629254/solver-4241108-1500629254 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500623779-17771 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241108-1500629254.xml
pid=20514
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.18 2.08 2/242 20517
/proc/meminfo: memFree=31723576/32770624 swapFree=6264/285756
[pid=20517] ppid=20514 vsize=27128 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 972 0 0 0 0 0 0 0 20 0 1 0 16204337 27779072 766 33554432000 4194304 5970956 140722035440272 140722035438072 5670381 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 6782 766 684 434 0 146 0
[startup+0.10015 s]
/proc/loadavg: 2.09 2.18 2.08 2/242 20517
/proc/meminfo: memFree=31723576/32770624 swapFree=6264/285756
[pid=20517] ppid=20514 vsize=27820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 1166 0 0 0 9 0 0 0 20 0 1 0 16204337 28487680 941 33554432000 4194304 5970956 140722035440272 140722035436872 140126358469605 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 6955 941 709 434 0 319 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27820
[startup+0.200296 s]
/proc/loadavg: 2.09 2.18 2.08 2/242 20517
/proc/meminfo: memFree=31723576/32770624 swapFree=6264/285756
[pid=20517] ppid=20514 vsize=28864 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 1501 0 0 0 19 0 0 0 20 0 1 0 16204337 29556736 1150 33554432000 4194304 5970956 140722035440272 140722035436872 140126358907904 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 7216 1150 709 434 0 580 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28864
[startup+0.300245 s]
/proc/loadavg: 2.09 2.18 2.08 2/242 20517
/proc/meminfo: memFree=31723576/32770624 swapFree=6264/285756
[pid=20517] ppid=20514 vsize=34144 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 3230 0 0 0 29 0 0 0 20 0 1 0 16204337 34963456 2516 33554432000 4194304 5970956 140722035440272 140722035435288 140126358907904 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 8536 2516 714 434 0 1900 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34144
[startup+0.700247 s]
/proc/loadavg: 2.09 2.18 2.08 2/242 20517
/proc/meminfo: memFree=31723576/32770624 swapFree=6264/285756
[pid=20517] ppid=20514 vsize=38792 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 4326 0 0 0 69 0 0 0 20 0 1 0 16204337 39723008 3571 33554432000 4194304 5970956 140722035440272 140722035436872 140126358907904 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 9698 3571 714 434 0 3062 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38792
[startup+1.5002 s]
/proc/loadavg: 2.09 2.18 2.08 3/243 20518
/proc/meminfo: memFree=31708056/32770624 swapFree=6264/285816
[pid=20517] ppid=20514 vsize=46296 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 6076 0 0 0 148 1 0 0 20 0 1 0 16204337 47407104 5353 33554432000 4194304 5970956 140722035440272 140722035436872 5674916 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 11574 5353 714 434 0 4938 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46296
[startup+3.10021 s]
/proc/loadavg: 2.09 2.18 2.08 3/243 20518
/proc/meminfo: memFree=31696772/32770624 swapFree=6264/285816
[pid=20517] ppid=20514 vsize=65704 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 12066 0 0 0 308 1 0 0 20 0 1 0 16204337 67280896 9635 33554432000 4194304 5970956 140722035440272 140722035436872 5668319 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 16426 9635 714 434 0 9790 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65704
[startup+6.30021 s]
/proc/loadavg: 2.08 2.18 2.08 3/243 20518
/proc/meminfo: memFree=31663860/32770624 swapFree=6264/286080
[pid=20517] ppid=20514 vsize=99480 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 21124 0 0 0 626 3 0 0 20 0 1 0 16204337 101867520 17254 33554432000 4194304 5970956 140722035440272 140722035436872 5417044 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 24870 17254 715 434 0 18234 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99480
[startup+12.7003 s]
/proc/loadavg: 2.07 2.17 2.07 3/243 20518
/proc/meminfo: memFree=31596848/32770624 swapFree=6264/286080
[pid=20517] ppid=20514 vsize=167156 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 38647 0 0 0 1264 4 0 0 20 0 1 0 16204337 171167744 33209 33554432000 4194304 5970956 140722035440272 140722035436872 5418507 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 41789 33209 715 434 0 35153 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 167156
[startup+25.5004 s]
/proc/loadavg: 2.06 2.17 2.07 3/243 20518
/proc/meminfo: memFree=31561408/32770624 swapFree=6264/286104
[pid=20517] ppid=20514 vsize=197204 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 106942 0 0 0 2539 8 0 0 20 0 1 0 16204337 201936896 40877 33554432000 4194304 5970956 140722035440272 140722035437608 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 40877 765 434 0 42665 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 197204
[startup+51.1004 s]
/proc/loadavg: 2.04 2.15 2.07 3/243 20519
/proc/meminfo: memFree=31557476/32770624 swapFree=6264/286120
[pid=20517] ppid=20514 vsize=197204 CPUtime=51.06 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 130871 0 0 0 5097 9 0 0 20 0 1 0 16204337 201936896 41882 33554432000 4194304 5970956 140722035440272 140722035437608 4934318 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 41882 765 434 0 42665 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 197204
[startup+102.3 s]
/proc/loadavg: 2.02 2.13 2.07 3/242 20520
/proc/meminfo: memFree=31552440/32770624 swapFree=6264/286192
[pid=20517] ppid=20514 vsize=197204 CPUtime=102.21 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 147513 0 0 0 10211 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 197204
[startup+162.3 s]
/proc/loadavg: 2.01 2.11 2.06 3/243 20529
/proc/meminfo: memFree=31550368/32770624 swapFree=6264/286272
[pid=20517] ppid=20514 vsize=197204 CPUtime=162.17 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 148044 0 0 0 16207 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934323 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 197204
[startup+222.308 s]
/proc/loadavg: 2.00 2.09 2.05 3/243 20595
/proc/meminfo: memFree=30497060/32770624 swapFree=6264/286756
[pid=20517] ppid=20514 vsize=197204 CPUtime=222.14 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 148573 0 0 0 22204 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934292 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 197204
[startup+282.3 s]
/proc/loadavg: 2.00 2.07 2.05 3/243 20596
/proc/meminfo: memFree=30496064/32770624 swapFree=6264/286816
[pid=20517] ppid=20514 vsize=197204 CPUtime=282.1 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 149102 0 0 0 28200 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4933186 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 197204
[startup+342.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/243 20597
/proc/meminfo: memFree=30494272/32770624 swapFree=6264/286876
[pid=20517] ppid=20514 vsize=197204 CPUtime=342.06 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 149631 0 0 0 34196 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 197204
[startup+402.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/243 20598
/proc/meminfo: memFree=30494580/32770624 swapFree=6264/286928
[pid=20517] ppid=20514 vsize=197204 CPUtime=402.03 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 150160 0 0 0 40193 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 197204
[startup+462.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/243 20599
/proc/meminfo: memFree=30494648/32770624 swapFree=6264/286988
[pid=20517] ppid=20514 vsize=197204 CPUtime=461.99 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 150689 0 0 0 46189 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934318 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 197204
[startup+522.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/243 20600
/proc/meminfo: memFree=30494884/32770624 swapFree=6264/287044
[pid=20517] ppid=20514 vsize=197204 CPUtime=521.96 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 151218 0 0 0 52186 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 197204
[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 20601
/proc/meminfo: memFree=30495300/32770624 swapFree=6264/287092
[pid=20517] ppid=20514 vsize=197204 CPUtime=581.92 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 151747 0 0 0 58182 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934656 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 197204
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.05 3/244 20632
/proc/meminfo: memFree=30497048/32770624 swapFree=6264/287800
[pid=20517] ppid=20514 vsize=197204 CPUtime=1541.38 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 158414 0 0 0 154128 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934318 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 1541.38
Current children cumulated vsize (KiB) 197204
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/244 20633
/proc/meminfo: memFree=30497348/32770624 swapFree=6264/287836
[pid=20517] ppid=20514 vsize=197204 CPUtime=1601.33 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 158649 0 0 0 160123 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 1601.33
Current children cumulated vsize (KiB) 197204
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 20635
/proc/meminfo: memFree=30496328/32770624 swapFree=6264/287872
[pid=20517] ppid=20514 vsize=197204 CPUtime=1661.3 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 159178 0 0 0 166120 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 1661.3
Current children cumulated vsize (KiB) 197204
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 20636
/proc/meminfo: memFree=30496576/32770624 swapFree=6264/287908
[pid=20517] ppid=20514 vsize=197204 CPUtime=1721.26 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 159375 0 0 0 172116 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 1721.26
Current children cumulated vsize (KiB) 197204
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 20637
/proc/meminfo: memFree=30495332/32770624 swapFree=6264/287944
[pid=20517] ppid=20514 vsize=197204 CPUtime=1781.23 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 159556 0 0 0 178113 10 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 1781.23
Current children cumulated vsize (KiB) 197204
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 20639
/proc/meminfo: memFree=30495180/32770624 swapFree=6264/287996
[pid=20517] ppid=20514 vsize=197204 CPUtime=1841.2 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 160085 0 0 0 184109 11 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934318 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 1841.2
Current children cumulated vsize (KiB) 197204
[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 20640
/proc/meminfo: memFree=30495716/32770624 swapFree=6264/288032
[pid=20517] ppid=20514 vsize=197204 CPUtime=1901.17 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 160316 0 0 0 190106 11 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 1901.17
Current children cumulated vsize (KiB) 197204
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 20648
/proc/meminfo: memFree=30496084/32770624 swapFree=6264/288068
[pid=20517] ppid=20514 vsize=197204 CPUtime=1961.14 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 160509 0 0 0 196103 11 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4933087 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 1961.14
Current children cumulated vsize (KiB) 197204
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 20672
/proc/meminfo: memFree=30495248/32770624 swapFree=6264/288124
[pid=20517] ppid=20514 vsize=197204 CPUtime=2021.1 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 161038 0 0 0 202099 11 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934318 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 2021.1
Current children cumulated vsize (KiB) 197204
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 20673
/proc/meminfo: memFree=30495980/32770624 swapFree=6264/288160
[pid=20517] ppid=20514 vsize=197204 CPUtime=2081.07 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 161234 0 0 0 208096 11 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934318 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 2081.07
Current children cumulated vsize (KiB) 197204
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 20674
/proc/meminfo: memFree=30496592/32770624 swapFree=6264/288208
[pid=20517] ppid=20514 vsize=197204 CPUtime=2141.03 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 161403 0 0 0 214092 11 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 2141.03
Current children cumulated vsize (KiB) 197204
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 20675
/proc/meminfo: memFree=30496956/32770624 swapFree=6264/288252
[pid=20517] ppid=20514 vsize=197204 CPUtime=2201 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 161971 0 0 0 220089 11 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934318 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 2201
Current children cumulated vsize (KiB) 197204
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 20676
/proc/meminfo: memFree=30497200/32770624 swapFree=6264/288280
[pid=20517] ppid=20514 vsize=197204 CPUtime=2260.96 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 162168 0 0 0 226085 11 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934877 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 2260.96
Current children cumulated vsize (KiB) 197204
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 20677
/proc/meminfo: memFree=30497292/32770624 swapFree=6264/288336
[pid=20517] ppid=20514 vsize=197204 CPUtime=2320.93 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 162377 0 0 0 232082 11 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 2320.93
Current children cumulated vsize (KiB) 197204
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 20678
/proc/meminfo: memFree=30497464/32770624 swapFree=6264/288364
[pid=20517] ppid=20514 vsize=197204 CPUtime=2380.89 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 162906 0 0 0 238078 11 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 2380.89
Current children cumulated vsize (KiB) 197204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 20679
/proc/meminfo: memFree=30497548/32770624 swapFree=6264/288400
[pid=20517] ppid=20514 vsize=197204 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 163134 0 0 0 239997 11 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934318 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 197204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20517 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 20679
/proc/meminfo: memFree=30497548/32770624 swapFree=6264/288400
[pid=20517] ppid=20514 vsize=197204 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/20517/stat : 20517 (cosoco) R 20514 20517 17739 0 -1 4202496 163134 0 0 0 239997 11 0 0 20 0 1 0 16204337 201936896 43319 33554432000 4194304 5970956 140722035440272 140722035437608 4934318 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 40611840 140722035446977 140722035447107 140722035447107 140722035449806 0
/proc/20517/statm: 49301 43319 765 434 0 42665 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 197204
Child status: 1
Real time (s): 2401.5
CPU time (s): 2400.09
CPU user time (s): 2399.98
CPU system time (s): 0.112934
CPU usage (%): 99.9413
Max. virtual memory (cumulated for all children) (KiB): 197204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.112934
maximum resident set size= 173316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163161
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= 54
involuntary context switches= 120682
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74839 second user time and 12.7615 second system time
The end