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 (15306 MiB free)
memory of node 1: 16384 MiB (15593 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408671-1569795100/watcher-4408671-1569795100 -o /tmp/evaluation-result-4408671-1569795100/solver-4408671-1569795100 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569787336-17164 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408671-1569795100.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18947, runsolver pid=18944
[startup+0.100167 s]*
/proc/loadavg: 2.00 2.05 2.05 3/199 18948
/proc/meminfo: memFree=31482836/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=200820 memory=176080 CPUtime=0.1 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 44180 0 0 0 5 5 0 0 20 0 1 0 555763092 205639680 43954 33554432000 4194304 6211132 140722044613616 140722044610152 5231269 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 50205 44020 751 493 0 43510 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 200820 KiB
Current children cumulated memory: 176080 KiB
[startup+0.209884 s]*
/proc/loadavg: 2.00 2.05 2.05 3/199 18948
/proc/meminfo: memFree=31296836/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=387496 memory=361936 CPUtime=0.2 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 90685 0 0 0 10 10 0 0 20 0 1 0 555763092 396795904 90484 33554432000 4194304 6211132 140722044613616 140722044610152 5231349 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 96874 90484 751 493 0 90179 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 387496 KiB
Current children cumulated memory: 361936 KiB
[startup+0.309902 s]*
/proc/loadavg: 2.00 2.05 2.05 3/199 18948
/proc/meminfo: memFree=31127204/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=556000 memory=531952 CPUtime=0.31 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 133143 0 0 0 15 16 0 0 20 0 1 0 555763092 569344000 132922 33554432000 4194304 6211132 140722044613616 140722044610152 5231349 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 139000 132988 751 493 0 132305 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 556000 KiB
Current children cumulated memory: 531952 KiB
[startup+0.700403 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 18948
/proc/meminfo: memFree=30785816/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=1208672 memory=1183768 CPUtime=0.69 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 296097 0 0 0 35 34 0 0 20 0 1 0 555763092 1237680128 295876 33554432000 4194304 6211132 140722044613616 140722044610152 5231269 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 302168 295942 751 493 0 295473 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 1208672 KiB
Current children cumulated memory: 1183768 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 18948
/proc/meminfo: memFree=29939212/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=2591524 memory=2566428 CPUtime=1.49 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 641781 0 0 0 79 70 0 0 20 0 1 0 555763092 2653720576 641607 33554432000 4194304 6211132 140722044613616 140722044609560 5231349 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 647881 641607 752 493 0 641186 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2591524 KiB
Current children cumulated memory: 2566428 KiB
[startup+3.10949 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 18948
/proc/meminfo: memFree=27310812/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=4352548 memory=4328756 CPUtime=3.09 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 1083122 0 0 0 190 119 0 0 20 0 1 0 555763092 4457009152 1082189 33554432000 4194304 6211132 140722044613616 140722044606504 139654290680805 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 1088137 1082189 822 493 0 1081442 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 4352548 KiB
Current children cumulated memory: 4328756 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 18948
/proc/meminfo: memFree=27265760/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=4405272 memory=4381276 CPUtime=6.28 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 1098159 0 0 0 504 124 0 0 20 0 1 0 555763092 4510998528 1095319 33554432000 4194304 6211132 140722044613616 140722044610888 139654290680805 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 1101318 1095319 822 493 0 1094623 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 4405272 KiB
Current children cumulated memory: 4381276 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 18950
/proc/meminfo: memFree=27031432/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=4654760 memory=4630664 CPUtime=12.69 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 1161128 0 0 0 1130 139 0 0 20 0 1 0 555763092 4766474240 1157666 33554432000 4194304 6211132 140722044613616 140722044605032 139654290680805 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 1163690 1157666 822 493 0 1156995 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 4654760 KiB
Current children cumulated memory: 4630664 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 18950
/proc/meminfo: memFree=26522208/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=5155016 memory=5130744 CPUtime=25.47 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 1287153 0 0 0 2385 162 0 0 20 0 1 0 555763092 5278736384 1282686 33554432000 4194304 6211132 140722044613616 140722044604840 139654290680805 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 1288754 1282686 822 493 0 1282059 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 5155016 KiB
Current children cumulated memory: 5130744 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 18951
/proc/meminfo: memFree=25501976/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=6158208 memory=6134012 CPUtime=51.07 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 1538373 0 0 0 4902 205 0 0 20 0 1 0 555763092 6306004992 1533503 33554432000 4194304 6211132 140722044613616 140722044606616 139654290728864 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 1539552 1533503 822 493 0 1532857 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 6158208 KiB
Current children cumulated memory: 6134012 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 18956
/proc/meminfo: memFree=23500344/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8164540 memory=8139972 CPUtime=102.24 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 2040504 0 0 0 9925 299 0 0 20 0 1 0 555763092 8360488960 2034993 33554432000 4194304 6211132 140722044613616 140722044608136 139654290680805 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2041135 2034993 822 493 0 2034440 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 8164540 KiB
Current children cumulated memory: 8139972 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 18960
/proc/meminfo: memFree=23323404/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=162.24 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 3269851 0 0 0 15870 354 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5397400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 18964
/proc/meminfo: memFree=23323348/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=222.23 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 3546781 0 0 0 21855 368 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5393104 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 18970
/proc/meminfo: memFree=23323412/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=282.22 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 3905996 0 0 0 27837 385 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 18974
/proc/meminfo: memFree=23323552/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=342.21 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 4262285 0 0 0 33819 402 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5392384 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 18978
/proc/meminfo: memFree=23323940/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=402.2 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 4481570 0 0 0 39808 412 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 18984
/proc/meminfo: memFree=23323888/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=462.2 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 4831209 0 0 0 45793 427 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5392352 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
################
# More data... #
################
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19099
/proc/meminfo: memFree=23322532/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=1722.07 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 15843125 0 0 0 171353 854 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5392375 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19110
/proc/meminfo: memFree=23322804/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=1782.06 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 16450143 0 0 0 177330 876 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19114
/proc/meminfo: memFree=23322756/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=1842.06 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 16907567 0 0 0 183314 892 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 1842.06 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19184
/proc/meminfo: memFree=23330912/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=1902.05 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 17466840 0 0 0 189292 913 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 1902.05 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
[startup+1962.3 s]
/proc/loadavg: 2.79 2.22 2.11 3/199 19248
/proc/meminfo: memFree=23329404/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=1962.05 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 18073799 0 0 0 195269 936 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5393104 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 1962.05 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
[startup+2022.3 s]
/proc/loadavg: 2.32 2.19 2.11 3/200 19253
/proc/meminfo: memFree=23329368/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=2022.05 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 18549183 0 0 0 201250 955 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 2022.05 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
[startup+2082.3 s]
/proc/loadavg: 2.17 2.17 2.11 3/201 19259
/proc/meminfo: memFree=23329072/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304248 CPUtime=2082.04 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 19123311 0 0 0 207227 977 0 0 20 0 1 0 555763092 8528015360 2076062 33554432000 4194304 6211132 140722044613616 140722044611880 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076062 859 493 0 2075340 0
Current children cumulated CPU time: 2082.04 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304248 KiB
[startup+2142.3 s]
/proc/loadavg: 2.06 2.14 2.10 3/200 19263
/proc/meminfo: memFree=23328568/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304744 CPUtime=2142.04 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 19630968 0 0 0 213210 994 0 0 20 0 1 0 555763092 8528015360 2076186 33554432000 4194304 6211132 140722044613616 140722044611880 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076186 859 493 0 2075340 0
Current children cumulated CPU time: 2142.04 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304744 KiB
[startup+2202.3 s]
/proc/loadavg: 2.06 2.13 2.10 3/200 19267
/proc/meminfo: memFree=23328740/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304744 CPUtime=2202.04 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 20205437 0 0 0 219188 1016 0 0 20 0 1 0 555763092 8528015360 2076186 33554432000 4194304 6211132 140722044613616 140722044611880 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076186 859 493 0 2075340 0
Current children cumulated CPU time: 2202.04 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304744 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.11 2.10 3/201 19273
/proc/meminfo: memFree=23328232/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304744 CPUtime=2262.02 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 20695786 0 0 0 225169 1033 0 0 20 0 1 0 555763092 8528015360 2076186 33554432000 4194304 6211132 140722044613616 140722044611880 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076186 859 493 0 2075340 0
Current children cumulated CPU time: 2262.02 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304744 KiB
[startup+2322.3 s]
/proc/loadavg: 2.10 2.12 2.10 3/199 19399
/proc/meminfo: memFree=23329968/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304744 CPUtime=2322.03 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 21287340 0 0 0 231147 1056 0 0 20 0 1 0 555763092 8528015360 2076186 33554432000 4194304 6211132 140722044613616 140722044611880 5392352 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076186 859 493 0 2075340 0
Current children cumulated CPU time: 2322.03 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304744 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.09 2.10 3/199 19410
/proc/meminfo: memFree=23329324/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304744 CPUtime=2382.02 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 21777053 0 0 0 237127 1075 0 0 20 0 1 0 555763092 8528015360 2076186 33554432000 4194304 6211132 140722044613616 140722044611880 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076186 859 493 0 2075340 0
Current children cumulated CPU time: 2382.02 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.03 2.09 2.10 3/200 19413
/proc/meminfo: memFree=23328748/32770624 swapFree=66999256/67108860
[pid=18947] ppid=18944 vsize=8328140 memory=8304744 CPUtime=2400.01 cores=1,3,5,7
/proc/18947/stat : 18947 (cosoco) R 18944 18947 17132 0 -1 4202496 22046974 0 0 0 238918 1083 0 0 20 0 1 0 555763092 8528015360 2076186 33554432000 4194304 6211132 140722044613616 140722044611880 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 41713664 140722044621835 140722044621937 140722044621937 140722044624846 0
/proc/18947/statm: 2082035 2076186 859 493 0 2075340 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 8328140 KiB
Current children cumulated memory: 8304744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.55 s]
# the end of solver process 18947 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2389.19 s, system=11.0856 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.4 s]*
/proc/loadavg: 2.03 2.09 2.10 3/200 19413
/proc/meminfo: memFree=28891736/32770624 swapFree=66999256/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2400.51 s]
/proc/loadavg: 2.03 2.09 2.10 3/200 19413
/proc/meminfo: memFree=28891736/32770624 swapFree=66999256/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2400.55
CPU time (s): 2400.28
CPU user time (s): 2389.19
CPU system time (s): 11.0856
CPU usage (%): 99.9885
Max. virtual memory (cumulated for all children) (KiB): 8330056
Max. memory (cumulated for all children) (KiB): 8305352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.19
system time used= 11.0856
maximum resident set size= 8306896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22047026
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= 397
involuntary context switches= 656
# summary of solver processes directly reported to runsolver:
# pid: 18947
# total CPU time (s): 2400.28
# total CPU user time (s): 2389.19
# total CPU system time (s): 11.0856
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5863 second user time and 16.5752 second system time
The end