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-4242161-1500658169/watcher-4242161-1500658169 -o /tmp/evaluation-result-4242161-1500658169/solver-4242161-1500658169 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500648174-2496 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242161-1500658169.xml
pid=4113
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.01 2.04 2.05 3/242 4116
/proc/meminfo: memFree=32041036/32770624 swapFree=5804/211428
[pid=4116] ppid=4113 vsize=26992 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1035 0 0 0 0 0 0 0 20 0 1 0 1084281 27639808 832 33554432000 4194304 5970956 140731551402816 140731551399416 5045500 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 832 735 434 0 112 0
[startup+0.100144 s]
/proc/loadavg: 2.01 2.04 2.05 3/242 4116
/proc/meminfo: memFree=32041036/32770624 swapFree=5804/211428
[pid=4116] ppid=4113 vsize=26992 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1036 0 0 0 9 0 0 0 20 0 1 0 1084281 27639808 832 33554432000 4194304 5970956 140731551402816 140731551390120 5136797 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 832 735 434 0 112 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26992
[startup+0.200283 s]
/proc/loadavg: 2.01 2.04 2.05 3/242 4116
/proc/meminfo: memFree=32041036/32770624 swapFree=5804/211428
[pid=4116] ppid=4113 vsize=26992 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1036 0 0 0 19 0 0 0 20 0 1 0 1084281 27639808 832 33554432000 4194304 5970956 140731551402816 140731551390120 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 832 735 434 0 112 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26992
[startup+0.300237 s]
/proc/loadavg: 2.01 2.04 2.05 3/242 4116
/proc/meminfo: memFree=32041036/32770624 swapFree=5804/211428
[pid=4116] ppid=4113 vsize=26992 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1036 0 0 0 29 0 0 0 20 0 1 0 1084281 27639808 832 33554432000 4194304 5970956 140731551402816 140731551390120 5046188 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 832 735 434 0 112 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26992
[startup+0.700205 s]
/proc/loadavg: 2.01 2.04 2.05 3/242 4116
/proc/meminfo: memFree=32041036/32770624 swapFree=5804/211428
[pid=4116] ppid=4113 vsize=26992 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1036 0 0 0 69 0 0 0 20 0 1 0 1084281 27639808 832 33554432000 4194304 5970956 140731551402816 140731551390120 5045316 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 832 735 434 0 112 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26992
[startup+1.50022 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 4117
/proc/meminfo: memFree=32040636/32770624 swapFree=5804/211428
[pid=4116] ppid=4113 vsize=26992 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1036 0 0 0 149 0 0 0 20 0 1 0 1084281 27639808 832 33554432000 4194304 5970956 140731551402816 140731551400376 5320457 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 832 735 434 0 112 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26992
[startup+3.1002 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 4117
/proc/meminfo: memFree=32040268/32770624 swapFree=5804/211428
[pid=4116] ppid=4113 vsize=26992 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1076 0 0 0 309 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5047604 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26992
[startup+6.30021 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 4117
/proc/meminfo: memFree=32040244/32770624 swapFree=5804/211428
[pid=4116] ppid=4113 vsize=26992 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1100 0 0 0 629 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136801 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26992
[startup+12.7002 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 4117
/proc/meminfo: memFree=32039120/32770624 swapFree=5804/211428
[pid=4116] ppid=4113 vsize=26992 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1124 0 0 0 1269 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136629 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26992
[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 4117
/proc/meminfo: memFree=32039444/32770624 swapFree=5804/211428
[pid=4116] ppid=4113 vsize=26992 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1172 0 0 0 2549 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136634 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26992
[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 2.05 3/244 4125
/proc/meminfo: memFree=32038168/32770624 swapFree=5804/211588
[pid=4116] ppid=4113 vsize=26992 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1212 0 0 0 5108 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551390120 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26992
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/244 4126
/proc/meminfo: memFree=32037792/32770624 swapFree=5804/211640
[pid=4116] ppid=4113 vsize=26992 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1252 0 0 0 10228 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551390120 5047698 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 26992
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4127
/proc/meminfo: memFree=32037556/32770624 swapFree=5804/211644
[pid=4116] ppid=4113 vsize=26992 CPUtime=162.26 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1276 0 0 0 16226 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551390120 5136570 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26992
[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4128
/proc/meminfo: memFree=32038444/32770624 swapFree=5804/211736
[pid=4116] ppid=4113 vsize=26992 CPUtime=222.26 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1315 0 0 0 22226 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136634 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 26992
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4129
/proc/meminfo: memFree=32037460/32770624 swapFree=5804/211780
[pid=4116] ppid=4113 vsize=26992 CPUtime=282.24 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1355 0 0 0 28224 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551390120 5047599 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 26992
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4130
/proc/meminfo: memFree=32036884/32770624 swapFree=5804/211824
[pid=4116] ppid=4113 vsize=26992 CPUtime=342.23 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1394 0 0 0 34223 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5045744 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 26992
[startup+402.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4131
/proc/meminfo: memFree=32036116/32770624 swapFree=5804/211824
[pid=4116] ppid=4113 vsize=26992 CPUtime=402.22 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1435 0 0 0 40222 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 26992
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4132
/proc/meminfo: memFree=32036968/32770624 swapFree=5804/211908
[pid=4116] ppid=4113 vsize=26992 CPUtime=462.2 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1475 0 0 0 46220 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551390120 5045007 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 26992
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4133
/proc/meminfo: memFree=32036608/32770624 swapFree=5804/211908
[pid=4116] ppid=4113 vsize=26992 CPUtime=522.19 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1514 0 0 0 52219 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136803 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 26992
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4134
/proc/meminfo: memFree=32036976/32770624 swapFree=5804/212000
[pid=4116] ppid=4113 vsize=26992 CPUtime=582.18 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 1555 0 0 0 58218 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551390120 5045043 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 26992
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4233
/proc/meminfo: memFree=32020148/32770624 swapFree=5804/212576
[pid=4116] ppid=4113 vsize=26992 CPUtime=1542.01 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2063 0 0 0 154201 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136623 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 26992
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4234
/proc/meminfo: memFree=32019624/32770624 swapFree=5804/212576
[pid=4116] ppid=4113 vsize=26992 CPUtime=1601.99 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2103 0 0 0 160199 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136629 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 26992
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4235
/proc/meminfo: memFree=32019500/32770624 swapFree=5804/212664
[pid=4116] ppid=4113 vsize=26992 CPUtime=1661.98 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2143 0 0 0 166198 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551390120 5136620 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 26992
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4237
/proc/meminfo: memFree=32019912/32770624 swapFree=5804/212664
[pid=4116] ppid=4113 vsize=26992 CPUtime=1721.96 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2183 0 0 0 172196 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551390120 5047048 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 26992
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4238
/proc/meminfo: memFree=32020320/32770624 swapFree=5804/212752
[pid=4116] ppid=4113 vsize=26992 CPUtime=1781.95 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2223 0 0 0 178195 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5045224 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 26992
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4246
/proc/meminfo: memFree=32019076/32770624 swapFree=5804/212752
[pid=4116] ppid=4113 vsize=26992 CPUtime=1841.94 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2247 0 0 0 184194 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5047698 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 1841.94
Current children cumulated vsize (KiB) 26992
[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 4269
/proc/meminfo: memFree=32019588/32770624 swapFree=5804/212856
[pid=4116] ppid=4113 vsize=26992 CPUtime=1901.93 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2271 0 0 0 190193 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136587 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 1901.93
Current children cumulated vsize (KiB) 26992
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4270
/proc/meminfo: memFree=32018864/32770624 swapFree=5804/212856
[pid=4116] ppid=4113 vsize=26992 CPUtime=1961.92 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2295 0 0 0 196192 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136560 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 1961.92
Current children cumulated vsize (KiB) 26992
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4271
/proc/meminfo: memFree=32019204/32770624 swapFree=5804/212932
[pid=4116] ppid=4113 vsize=26992 CPUtime=2021.91 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2335 0 0 0 202191 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136577 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 2021.91
Current children cumulated vsize (KiB) 26992
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4272
/proc/meminfo: memFree=32019380/32770624 swapFree=5804/212972
[pid=4116] ppid=4113 vsize=26992 CPUtime=2081.9 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2359 0 0 0 208190 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5093230 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 2081.9
Current children cumulated vsize (KiB) 26992
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4273
/proc/meminfo: memFree=32018796/32770624 swapFree=5804/213024
[pid=4116] ppid=4113 vsize=26992 CPUtime=2141.88 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2414 0 0 0 214188 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5045172 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 2141.88
Current children cumulated vsize (KiB) 26992
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4274
/proc/meminfo: memFree=32017568/32770624 swapFree=5804/213024
[pid=4116] ppid=4113 vsize=26992 CPUtime=2201.88 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2438 0 0 0 220188 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5046945 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 2201.88
Current children cumulated vsize (KiB) 26992
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4275
/proc/meminfo: memFree=32018368/32770624 swapFree=5804/213096
[pid=4116] ppid=4113 vsize=26992 CPUtime=2261.86 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2462 0 0 0 226186 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 2261.86
Current children cumulated vsize (KiB) 26992
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4276
/proc/meminfo: memFree=32018216/32770624 swapFree=5804/213096
[pid=4116] ppid=4113 vsize=26992 CPUtime=2321.85 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2486 0 0 0 232185 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5047599 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 2321.85
Current children cumulated vsize (KiB) 26992
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4277
/proc/meminfo: memFree=32018904/32770624 swapFree=5804/213160
[pid=4116] ppid=4113 vsize=26992 CPUtime=2381.84 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2510 0 0 0 238184 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5047524 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 2381.84
Current children cumulated vsize (KiB) 26992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4277
/proc/meminfo: memFree=32018904/32770624 swapFree=5804/213160
[pid=4116] ppid=4113 vsize=26992 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2534 0 0 0 240003 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136611 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 26992
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 4116 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4277
/proc/meminfo: memFree=32018904/32770624 swapFree=5804/213160
[pid=4116] ppid=4113 vsize=26992 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/4116/stat : 4116 (cosoco) R 4113 4116 2463 0 -1 4202496 2534 0 0 0 240003 0 0 0 20 0 1 0 1084281 27639808 876 33554432000 4194304 5970956 140731551402816 140731551400376 5136611 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23871488 140731551405249 140731551405379 140731551405379 140731551408078 0
/proc/4116/statm: 6748 876 776 434 0 112 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 26992
Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.04
CPU user time (s): 2400.04
CPU system time (s): 0.004999
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 26992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.004999
maximum resident set size= 3552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2569
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= 6
involuntary context switches= 120631
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.543 second user time and 10.1246 second system time
The end