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-4242670-1500660533/watcher-4242670-1500660533 -o /tmp/evaluation-result-4242670-1500660533/solver-4242670-1500660533 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500648178-9847 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242670-1500660533.xml
pid=12139
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.00 2.01 2.05 3/242 12142
/proc/meminfo: memFree=32109656/32770624 swapFree=5868/22780
[pid=12142] ppid=12139 vsize=26992 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 975 0 0 0 0 0 0 0 20 0 1 0 1322968 27639808 766 33554432000 4194304 5970956 140720736875632 140720736872280 5672455 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 6748 766 683 434 0 112 0
[startup+0.100142 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 12142
/proc/meminfo: memFree=32109656/32770624 swapFree=5868/22780
[pid=12142] ppid=12139 vsize=32832 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 1479 0 0 0 9 0 0 0 20 0 1 0 1322968 33619968 1294 33554432000 4194304 5970956 140720736875632 140720736862936 4934453 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8208 1294 764 434 0 1572 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32832
[startup+0.200315 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 12142
/proc/meminfo: memFree=32109656/32770624 swapFree=5868/22780
[pid=12142] ppid=12139 vsize=32832 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 1484 0 0 0 19 0 0 0 20 0 1 0 1322968 33619968 1294 33554432000 4194304 5970956 140720736875632 140720736873192 4934310 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8208 1294 764 434 0 1572 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32832
[startup+0.300232 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 12142
/proc/meminfo: memFree=32109656/32770624 swapFree=5868/22780
[pid=12142] ppid=12139 vsize=32832 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 1492 0 0 0 29 0 0 0 20 0 1 0 1322968 33619968 1294 33554432000 4194304 5970956 140720736875632 140720736862936 4934327 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8208 1294 764 434 0 1572 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32832
[startup+0.700205 s]
/proc/loadavg: 2.00 2.01 2.05 3/242 12142
/proc/meminfo: memFree=32109656/32770624 swapFree=5868/22780
[pid=12142] ppid=12139 vsize=32832 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 1536 0 0 0 69 0 0 0 20 0 1 0 1322968 33619968 1360 33554432000 4194304 5970956 140720736875632 140720736862936 139744044800997 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8208 1360 786 434 0 1572 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32832
[startup+1.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12143
/proc/meminfo: memFree=32104256/32770624 swapFree=5868/22788
[pid=12142] ppid=12139 vsize=32832 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 1593 0 0 0 148 0 0 0 20 0 1 0 1322968 33619968 1937 33554432000 4194304 5970956 140720736875632 140720736873192 4934327 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8208 1937 790 434 0 1572 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32832
[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12143
/proc/meminfo: memFree=32103652/32770624 swapFree=5868/22788
[pid=12142] ppid=12139 vsize=32832 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 2124 0 0 0 308 0 0 0 20 0 1 0 1322968 33619968 1949 33554432000 4194304 5970956 140720736875632 140720736873192 4971752 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8208 1949 790 434 0 1572 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32832
[startup+6.3002 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 12143
/proc/meminfo: memFree=32103708/32770624 swapFree=5868/22800
[pid=12142] ppid=12139 vsize=32964 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 2662 0 0 0 628 0 0 0 20 0 1 0 1322968 33755136 1951 33554432000 4194304 5970956 140720736875632 140720736872392 4934864 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1951 790 434 0 1605 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 32964
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/243 12143
/proc/meminfo: memFree=32103460/32770624 swapFree=5868/22800
[pid=12142] ppid=12139 vsize=32964 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 3187 0 0 0 1268 0 0 0 20 0 1 0 1322968 33755136 1954 33554432000 4194304 5970956 140720736875632 140720736862936 5093128 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1954 790 434 0 1605 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32964
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/243 12143
/proc/meminfo: memFree=32103700/32770624 swapFree=5868/22820
[pid=12142] ppid=12139 vsize=32964 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 4052 0 0 0 2548 0 0 0 20 0 1 0 1322968 33755136 1957 33554432000 4194304 5970956 140720736875632 140720736873192 4976731 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1957 790 434 0 1605 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32964
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/243 12143
/proc/meminfo: memFree=32103396/32770624 swapFree=5868/22836
[pid=12142] ppid=12139 vsize=32964 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 4795 0 0 0 5107 0 0 0 20 0 1 0 1322968 33755136 1959 33554432000 4194304 5970956 140720736875632 140720736872968 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1959 790 434 0 1605 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32964
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/244 12152
/proc/meminfo: memFree=32102132/32770624 swapFree=5868/22880
[pid=12142] ppid=12139 vsize=32964 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 5327 0 0 0 10227 0 0 0 20 0 1 0 1322968 33755136 1961 33554432000 4194304 5970956 140720736875632 140720736872968 4934320 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1961 790 434 0 1605 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 32964
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/244 12153
/proc/meminfo: memFree=32102068/32770624 swapFree=5868/22912
[pid=12142] ppid=12139 vsize=32964 CPUtime=162.25 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 5861 0 0 0 16225 0 0 0 20 0 1 0 1322968 33755136 1963 33554432000 4194304 5970956 140720736875632 140720736872968 4934370 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1963 790 434 0 1605 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 32964
[startup+222.308 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 12154
/proc/meminfo: memFree=32101460/32770624 swapFree=5868/22956
[pid=12142] ppid=12139 vsize=32964 CPUtime=222.24 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 6393 0 0 0 22224 0 0 0 20 0 1 0 1322968 33755136 1964 33554432000 4194304 5970956 140720736875632 140720736872968 4934318 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1964 790 434 0 1605 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 32964
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/244 12155
/proc/meminfo: memFree=32101676/32770624 swapFree=5868/22988
[pid=12142] ppid=12139 vsize=32964 CPUtime=282.22 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 6929 0 0 0 28222 0 0 0 20 0 1 0 1322968 33755136 1966 33554432000 4194304 5970956 140720736875632 140720736872968 4934568 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1966 790 434 0 1605 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 32964
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/244 12156
/proc/meminfo: memFree=32102084/32770624 swapFree=5868/23032
[pid=12142] ppid=12139 vsize=32964 CPUtime=342.2 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 7457 0 0 0 34220 0 0 0 20 0 1 0 1322968 33755136 1967 33554432000 4194304 5970956 140720736875632 140720736872968 4934366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1967 790 434 0 1605 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 32964
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 12157
/proc/meminfo: memFree=32102536/32770624 swapFree=5868/23060
[pid=12142] ppid=12139 vsize=32964 CPUtime=402.19 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 7979 0 0 0 40219 0 0 0 20 0 1 0 1322968 33755136 1967 33554432000 4194304 5970956 140720736875632 140720736872968 5243322 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1967 790 434 0 1605 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 32964
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 12158
/proc/meminfo: memFree=32101972/32770624 swapFree=5868/23100
[pid=12142] ppid=12139 vsize=32964 CPUtime=462.18 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 8505 0 0 0 46218 0 0 0 20 0 1 0 1322968 33755136 1967 33554432000 4194304 5970956 140720736875632 140720736872968 4934432 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1967 790 434 0 1605 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 32964
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 12159
/proc/meminfo: memFree=32102280/32770624 swapFree=5868/23128
[pid=12142] ppid=12139 vsize=32964 CPUtime=522.16 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 9044 0 0 0 52216 0 0 0 20 0 1 0 1322968 33755136 1968 33554432000 4194304 5970956 140720736875632 140720736872968 4974343 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1968 790 434 0 1605 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 32964
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 12160
/proc/meminfo: memFree=32102036/32770624 swapFree=5868/23164
[pid=12142] ppid=12139 vsize=32964 CPUtime=582.15 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 9577 0 0 0 58215 0 0 0 20 0 1 0 1322968 33755136 1969 33554432000 4194304 5970956 140720736875632 140720736872968 4934656 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1969 790 434 0 1605 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 32964
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 12193
/proc/meminfo: memFree=32098964/32770624 swapFree=5868/23720
[pid=12142] ppid=12139 vsize=32964 CPUtime=1481.95 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 16846 0 0 0 148194 1 0 0 20 0 1 0 1322968 33755136 1973 33554432000 4194304 5970956 140720736875632 140720736862936 4969956 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1973 790 434 0 1605 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 32964
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 12194
/proc/meminfo: memFree=32099408/32770624 swapFree=5868/23764
[pid=12142] ppid=12139 vsize=32964 CPUtime=1541.95 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 17366 0 0 0 154194 1 0 0 20 0 1 0 1322968 33755136 1973 33554432000 4194304 5970956 140720736875632 140720736862936 4970645 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1973 790 434 0 1605 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 32964
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12195
/proc/meminfo: memFree=32099168/32770624 swapFree=5868/23796
[pid=12142] ppid=12139 vsize=32964 CPUtime=1601.93 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 17803 0 0 0 160192 1 0 0 20 0 1 0 1322968 33755136 1973 33554432000 4194304 5970956 140720736875632 140720736862936 4934366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1973 790 434 0 1605 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 32964
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12262
/proc/meminfo: memFree=32066416/32770624 swapFree=5868/23896
[pid=12142] ppid=12139 vsize=32964 CPUtime=1661.91 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 18336 0 0 0 166190 1 0 0 20 0 1 0 1322968 33755136 1973 33554432000 4194304 5970956 140720736875632 140720736862936 4934527 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1973 790 434 0 1605 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 32964
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12263
/proc/meminfo: memFree=32063932/32770624 swapFree=5868/23936
[pid=12142] ppid=12139 vsize=32964 CPUtime=1721.9 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 18738 0 0 0 172189 1 0 0 20 0 1 0 1322968 33755136 1973 33554432000 4194304 5970956 140720736875632 140720736862936 4974704 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1973 790 434 0 1605 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 32964
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12264
/proc/meminfo: memFree=32063752/32770624 swapFree=5868/23968
[pid=12142] ppid=12139 vsize=32964 CPUtime=1781.88 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 19081 0 0 0 178187 1 0 0 20 0 1 0 1322968 33755136 1973 33554432000 4194304 5970956 140720736875632 140720736862936 4974152 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1973 790 434 0 1605 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 32964
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12265
/proc/meminfo: memFree=32064148/32770624 swapFree=5868/23996
[pid=12142] ppid=12139 vsize=32964 CPUtime=1841.87 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 19696 0 0 0 184186 1 0 0 20 0 1 0 1322968 33755136 1974 33554432000 4194304 5970956 140720736875632 140720736862936 4977138 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1974 790 434 0 1605 0
Current children cumulated CPU time (s) 1841.87
Current children cumulated vsize (KiB) 32964
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12273
/proc/meminfo: memFree=32063532/32770624 swapFree=5868/24044
[pid=12142] ppid=12139 vsize=32964 CPUtime=1901.86 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 20106 0 0 0 190185 1 0 0 20 0 1 0 1322968 33755136 1974 33554432000 4194304 5970956 140720736875632 140720736862936 4977138 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1974 790 434 0 1605 0
Current children cumulated CPU time (s) 1901.86
Current children cumulated vsize (KiB) 32964
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12274
/proc/meminfo: memFree=32063128/32770624 swapFree=5868/24084
[pid=12142] ppid=12139 vsize=32964 CPUtime=1961.84 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 20646 0 0 0 196183 1 0 0 20 0 1 0 1322968 33755136 1974 33554432000 4194304 5970956 140720736875632 140720736862936 4977604 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1974 790 434 0 1605 0
Current children cumulated CPU time (s) 1961.84
Current children cumulated vsize (KiB) 32964
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12275
/proc/meminfo: memFree=32062588/32770624 swapFree=5840/24116
[pid=12142] ppid=12139 vsize=32964 CPUtime=2021.83 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 21014 0 0 0 202182 1 0 0 20 0 1 0 1322968 33755136 1974 33554432000 4194304 5970956 140720736875632 140720736862936 4971813 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1974 790 434 0 1605 0
Current children cumulated CPU time (s) 2021.83
Current children cumulated vsize (KiB) 32964
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12276
/proc/meminfo: memFree=32062616/32770624 swapFree=5840/24140
[pid=12142] ppid=12139 vsize=32964 CPUtime=2081.82 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 21447 0 0 0 208181 1 0 0 20 0 1 0 1322968 33755136 1974 33554432000 4194304 5970956 140720736875632 140720736862936 4977863 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1974 790 434 0 1605 0
Current children cumulated CPU time (s) 2081.82
Current children cumulated vsize (KiB) 32964
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12277
/proc/meminfo: memFree=32062912/32770624 swapFree=5840/24184
[pid=12142] ppid=12139 vsize=32964 CPUtime=2141.8 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 21835 0 0 0 214179 1 0 0 20 0 1 0 1322968 33755136 1974 33554432000 4194304 5970956 140720736875632 140720736862936 4933136 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1974 790 434 0 1605 0
Current children cumulated CPU time (s) 2141.8
Current children cumulated vsize (KiB) 32964
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 12278
/proc/meminfo: memFree=32062612/32770624 swapFree=5840/24216
[pid=12142] ppid=12139 vsize=32964 CPUtime=2201.79 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 22412 0 0 0 220178 1 0 0 20 0 1 0 1322968 33755136 1974 33554432000 4194304 5970956 140720736875632 140720736862936 5324970 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1974 790 434 0 1605 0
Current children cumulated CPU time (s) 2201.79
Current children cumulated vsize (KiB) 32964
[startup+2262.3 s]
/proc/loadavg: 2.19 2.06 2.06 3/243 12279
/proc/meminfo: memFree=32062688/32770624 swapFree=5840/24244
[pid=12142] ppid=12139 vsize=32964 CPUtime=2261.77 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 22838 0 0 0 226176 1 0 0 20 0 1 0 1322968 33755136 1974 33554432000 4194304 5970956 140720736875632 140720736862936 4934375 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1974 790 434 0 1605 0
Current children cumulated CPU time (s) 2261.77
Current children cumulated vsize (KiB) 32964
[startup+2322.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/243 12280
/proc/meminfo: memFree=32062868/32770624 swapFree=5840/24284
[pid=12142] ppid=12139 vsize=32964 CPUtime=2321.76 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 23266 0 0 0 232175 1 0 0 20 0 1 0 1322968 33755136 1974 33554432000 4194304 5970956 140720736875632 140720736862936 4977863 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1974 790 434 0 1605 0
Current children cumulated CPU time (s) 2321.76
Current children cumulated vsize (KiB) 32964
[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 12281
/proc/meminfo: memFree=32062012/32770624 swapFree=5840/24324
[pid=12142] ppid=12139 vsize=32964 CPUtime=2381.74 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 23802 0 0 0 238173 1 0 0 20 0 1 0 1322968 33755136 1975 33554432000 4194304 5970956 140720736875632 140720736862936 4930625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1975 790 434 0 1605 0
Current children cumulated CPU time (s) 2381.74
Current children cumulated vsize (KiB) 32964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.6 s]
/proc/loadavg: 2.02 2.04 2.05 3/243 12281
/proc/meminfo: memFree=32062136/32770624 swapFree=5840/24340
[pid=12142] ppid=12139 vsize=32964 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/12142/stat : 12142 (cosoco) R 12139 12142 9815 0 -1 4202496 24173 0 0 0 240003 1 0 0 20 0 1 0 1322968 33755136 1975 33554432000 4194304 5970956 140720736875632 140720736862936 5327164 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 8466432 140720736879804 140720736879939 140720736879939 140720736882638 0
/proc/12142/statm: 8241 1975 790 434 0 1605 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 32964
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 12142 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.05
CPU user time (s): 2400.03
CPU system time (s): 0.016996
CPU usage (%): 99.9771
Max. virtual memory (cumulated for all children) (KiB): 32964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.016996
maximum resident set size= 7948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24206
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= 12
involuntary context switches= 120693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53629 second user time and 11.3819 second system time
The end