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 (1609 MiB free)
memory of node 1: 16384 MiB (6076 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294798-1532498649/watcher-4294798-1532498649 -o /tmp/evaluation-result-4294798-1532498649/solver-4294798-1532498649 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294798-1532498649.xml
running on 4 cores: 0,2,4,6
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=21866, runsolver pid=21863
[startup+0.100187 s]*
/proc/loadavg: 1.36 1.84 1.99 3/191 21873
/proc/meminfo: memFree=7858332/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=31640 memory=8124 CPUtime=0.09 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 2253 0 0 0 9 0 0 0 20 0 1 0 67428057 32399360 2031 33554432000 4194304 6142532 140720997588624 140720997585112 140528933256165 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 7910 2031 843 476 0 1232 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31640 KiB
Current children cumulated memory: 8124 KiB
[startup+0.210076 s]*
/proc/loadavg: 1.36 1.84 1.99 3/191 21873
/proc/meminfo: memFree=7846428/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32168 memory=8916 CPUtime=0.2 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 2388 0 0 0 20 0 0 0 20 0 1 0 67428057 32940032 2229 33554432000 4194304 6142532 140720997588624 140720997585112 5146764 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8042 2229 885 476 0 1364 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32168 KiB
Current children cumulated memory: 8916 KiB
[startup+0.309489 s]*
/proc/loadavg: 1.36 1.84 1.99 3/191 21873
/proc/meminfo: memFree=7836756/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32168 memory=8916 CPUtime=0.3 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 2388 0 0 0 30 0 0 0 20 0 1 0 67428057 32940032 2229 33554432000 4194304 6142532 140720997588624 140720997585112 140528934179713 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8042 2229 885 476 0 1364 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32168 KiB
Current children cumulated memory: 8916 KiB
[startup+0.700338 s]
/proc/loadavg: 1.36 1.84 1.99 3/191 21873
/proc/meminfo: memFree=7823736/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=8916 CPUtime=0.69 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 2405 0 0 0 69 0 0 0 20 0 1 0 67428057 33075200 2229 33554432000 4194304 6142532 140720997588624 140720997585112 5366791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2229 885 476 0 1397 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 8916 KiB
[startup+1.50034 s]
/proc/loadavg: 1.36 1.84 1.99 3/191 21873
/proc/meminfo: memFree=7819232/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=8916 CPUtime=1.49 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 2405 0 0 0 149 0 0 0 20 0 1 0 67428057 33075200 2229 33554432000 4194304 6142532 140720997588624 140720997585112 5132621 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2229 885 476 0 1397 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 8916 KiB
[startup+3.10953 s]
/proc/loadavg: 1.36 1.84 1.99 3/191 21873
/proc/meminfo: memFree=7817840/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=8996 CPUtime=3.09 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 3674 0 0 0 309 0 0 0 20 0 1 0 67428057 33075200 2249 33554432000 4194304 6142532 140720997588624 140720997586152 5371790 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2249 885 476 0 1397 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 8996 KiB
[startup+6.30032 s]
/proc/loadavg: 1.33 1.83 1.98 3/191 21873
/proc/meminfo: memFree=7817496/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=8996 CPUtime=6.28 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 4942 0 0 0 628 0 0 0 20 0 1 0 67428057 33075200 2249 33554432000 4194304 6142532 140720997588624 140720997586152 140528934179719 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2249 885 476 0 1397 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 8996 KiB
[startup+12.7003 s]
/proc/loadavg: 1.38 1.83 1.98 3/191 21873
/proc/meminfo: memFree=7817028/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=8996 CPUtime=12.68 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 6242 0 0 0 1268 0 0 0 20 0 1 0 67428057 33075200 2249 33554432000 4194304 6142532 140720997588624 140720997575896 140528934179716 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2249 885 476 0 1397 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 8996 KiB
[startup+25.5003 s]
/proc/loadavg: 1.52 1.84 1.98 3/191 21873
/proc/meminfo: memFree=7817060/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=25.48 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 7810 0 0 0 2548 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5375782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+51.1094 s]
/proc/loadavg: 1.68 1.85 1.98 3/191 21873
/proc/meminfo: memFree=7817604/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=51.09 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 8064 0 0 0 5109 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5363668 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+102.3 s]
/proc/loadavg: 1.86 1.87 1.98 3/189 21874
/proc/meminfo: memFree=7818288/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=102.28 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 8354 0 0 0 10228 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5146999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.90 1.98 3/188 21875
/proc/meminfo: memFree=7818056/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=162.28 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 8607 0 0 0 16228 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5366756 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.92 1.98 3/188 21876
/proc/meminfo: memFree=7817892/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=222.28 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 8860 0 0 0 22228 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 140528943201102 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.93 1.98 3/188 21877
/proc/meminfo: memFree=7818008/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=282.28 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 9113 0 0 0 28228 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5371844 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.94 1.98 3/187 21878
/proc/meminfo: memFree=7818164/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=342.27 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 9368 0 0 0 34227 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5372457 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.95 1.98 3/188 21887
/proc/meminfo: memFree=7817340/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=402.27 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 9622 0 0 0 40227 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 140528934179923 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.96 1.98 3/188 21888
/proc/meminfo: memFree=7817456/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=462.27 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 9876 0 0 0 46227 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 140528934179934 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
################
# More data... #
################
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/189 21930
/proc/meminfo: memFree=7817152/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=1782.23 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 15464 0 0 0 178223 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5146892 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/189 21931
/proc/meminfo: memFree=7817152/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=1842.23 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 15718 0 0 0 184223 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5367130 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/187 21932
/proc/meminfo: memFree=7817192/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=1902.23 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 15972 0 0 0 190223 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 140528943201128 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/187 21933
/proc/meminfo: memFree=7817176/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=1962.23 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 16225 0 0 0 196223 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 140528934179727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/187 21934
/proc/meminfo: memFree=7817276/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=2022.23 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 16480 0 0 0 202223 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5366701 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/187 21935
/proc/meminfo: memFree=7817012/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=2082.23 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 16734 0 0 0 208223 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 140528934176689 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/187 21936
/proc/meminfo: memFree=7817120/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=2142.23 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 16988 0 0 0 214223 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5375777 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/188 21945
/proc/meminfo: memFree=7816652/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=2202.22 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 17242 0 0 0 220222 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5363683 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/188 21946
/proc/meminfo: memFree=7816520/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=2262.22 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 17496 0 0 0 226222 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 140528943201098 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/188 21947
/proc/meminfo: memFree=7816620/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=2322.22 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 17750 0 0 0 232222 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5398813 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/188 21948
/proc/meminfo: memFree=7816480/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=2382.22 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 18004 0 0 0 238222 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5366742 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/188 21949
/proc/meminfo: memFree=7816464/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=2442.22 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 18258 0 0 0 244222 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5371666 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/187 21950
/proc/meminfo: memFree=7816988/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=2502.21 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 18512 0 0 0 250221 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 5146845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 1.99 1.98 3/187 21950
/proc/meminfo: memFree=7817112/32770624 swapFree=67108860/67108860
[pid=21866] ppid=21863 vsize=32300 memory=9004 CPUtime=2519.92 cores=0,2,4,6
/proc/21866/stat : 21866 (cosoco) R 21863 21866 21810 0 -1 4202496 18765 0 0 0 251992 0 0 0 20 0 1 0 67428057 33075200 2251 33554432000 4194304 6142532 140720997588624 140720997575896 140528934182314 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 20512768 140720997594246 140720997594376 140720997594376 140720997597134 0
/proc/21866/statm: 8075 2251 885 476 0 1397 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 9004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 21866 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.93 s, system=0.009999 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.94
CPU user time (s): 2519.93
CPU system time (s): 0.009999
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 32300
Max. memory (cumulated for all children) (KiB): 9004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.009999
maximum resident set size= 9068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18816
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= 36
involuntary context switches= 637
# summary of solver processes directly reported to runsolver:
# pid: 21866
# total CPU time (s): 2519.94
# total CPU user time (s): 2519.93
# total CPU system time (s): 0.009999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.92793 second user time and 16.7394 second system time
The end