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-4251740-1500919825/watcher-4251740-1500919825 -o /tmp/evaluation-result-4251740-1500919825/solver-4251740-1500919825 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500914976-3527 --watchdog 2560 miniBTD 2400 HOME/instance-4251740-1500919825.xml
pid=4726
running on 4 cores: 0,2,4,6
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: 1.96 2.00 2.04 3/181 4729
/proc/meminfo: memFree=32080152/32770624 swapFree=5860/116160
[pid=4729] ppid=4726 vsize=26008 CPUtime=0 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 846 0 0 0 0 0 0 0 20 0 1 0 1541902 26632192 667 33554432000 4194304 4832315 140733069244768 140733069241768 4320760 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 667 557 156 0 144 0
[startup+0.100198 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 4729
/proc/meminfo: memFree=32080152/32770624 swapFree=5860/116160
[pid=4729] ppid=4726 vsize=26008 CPUtime=0.09 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 846 0 0 0 9 0 0 0 20 0 1 0 1541902 26632192 667 33554432000 4194304 4832315 140733069244768 140733069241768 4320810 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 667 557 156 0 144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26008
[startup+0.200333 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 4729
/proc/meminfo: memFree=32080152/32770624 swapFree=5860/116160
[pid=4729] ppid=4726 vsize=26008 CPUtime=0.19 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 846 0 0 0 19 0 0 0 20 0 1 0 1541902 26632192 667 33554432000 4194304 4832315 140733069244768 140733069241768 4321162 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 667 557 156 0 144 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26008
[startup+0.300316 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 4729
/proc/meminfo: memFree=32080152/32770624 swapFree=5860/116160
[pid=4729] ppid=4726 vsize=26008 CPUtime=0.29 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 846 0 0 0 29 0 0 0 20 0 1 0 1541902 26632192 667 33554432000 4194304 4832315 140733069244768 140733069241768 4320714 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 667 557 156 0 144 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26008
[startup+0.700279 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 4729
/proc/meminfo: memFree=32080152/32770624 swapFree=5860/116160
[pid=4729] ppid=4726 vsize=26008 CPUtime=0.69 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 846 0 0 0 69 0 0 0 20 0 1 0 1541902 26632192 667 33554432000 4194304 4832315 140733069244768 140733069241768 4320733 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 667 557 156 0 144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26008
[startup+1.50027 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 4730
/proc/meminfo: memFree=32079612/32770624 swapFree=5860/116160
[pid=4729] ppid=4726 vsize=26008 CPUtime=1.49 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 846 0 0 0 149 0 0 0 20 0 1 0 1541902 26632192 667 33554432000 4194304 4832315 140733069244768 140733069242776 4320815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 667 557 156 0 144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26008
[startup+3.10028 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 4730
/proc/meminfo: memFree=32079240/32770624 swapFree=5860/116160
[pid=4729] ppid=4726 vsize=26008 CPUtime=3.09 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 856 0 0 0 309 0 0 0 20 0 1 0 1541902 26632192 667 33554432000 4194304 4832315 140733069244768 140733069242776 4321127 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 667 557 156 0 144 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26008
[startup+6.30028 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 4730
/proc/meminfo: memFree=32078264/32770624 swapFree=5860/116160
[pid=4729] ppid=4726 vsize=26008 CPUtime=6.29 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 866 0 0 0 629 0 0 0 20 0 1 0 1541902 26632192 667 33554432000 4194304 4832315 140733069244768 140733069242776 4320760 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 667 557 156 0 144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26008
[startup+12.7003 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 4730
/proc/meminfo: memFree=32077892/32770624 swapFree=5860/116164
[pid=4729] ppid=4726 vsize=26008 CPUtime=12.69 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 876 0 0 0 1269 0 0 0 20 0 1 0 1541902 26632192 667 33554432000 4194304 4832315 140733069244768 140733069242776 4320815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 667 557 156 0 144 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26008
[startup+25.5003 s]
/proc/loadavg: 1.97 2.00 2.04 3/182 4730
/proc/meminfo: memFree=32078144/32770624 swapFree=5860/116176
[pid=4729] ppid=4726 vsize=26008 CPUtime=25.49 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 896 0 0 0 2549 0 0 0 20 0 1 0 1541902 26632192 667 33554432000 4194304 4832315 140733069244768 140733069242776 4320880 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 667 557 156 0 144 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26008
[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 2.04 3/182 4730
/proc/meminfo: memFree=32078020/32770624 swapFree=5860/116176
[pid=4729] ppid=4726 vsize=26008 CPUtime=51.09 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 907 0 0 0 5109 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320692 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26008
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/182 4731
/proc/meminfo: memFree=32077800/32770624 swapFree=5860/116212
[pid=4729] ppid=4726 vsize=26008 CPUtime=102.29 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 919 0 0 0 10229 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 26008
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 4732
/proc/meminfo: memFree=32077824/32770624 swapFree=5860/116244
[pid=4729] ppid=4726 vsize=26008 CPUtime=162.28 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 930 0 0 0 16228 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4321040 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 26008
[startup+222.306 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 4854
/proc/meminfo: memFree=32107944/32770624 swapFree=5860/116328
[pid=4729] ppid=4726 vsize=26008 CPUtime=222.28 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 941 0 0 0 22228 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 26008
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 4855
/proc/meminfo: memFree=32108176/32770624 swapFree=5860/116404
[pid=4729] ppid=4726 vsize=26008 CPUtime=282.27 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 952 0 0 0 28227 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320795 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 26008
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4856
/proc/meminfo: memFree=32107808/32770624 swapFree=5860/116432
[pid=4729] ppid=4726 vsize=26008 CPUtime=342.26 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 963 0 0 0 34226 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 26008
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4857
/proc/meminfo: memFree=32107832/32770624 swapFree=5860/116464
[pid=4729] ppid=4726 vsize=26008 CPUtime=402.26 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 974 0 0 0 40226 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320806 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 26008
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4858
/proc/meminfo: memFree=32107564/32770624 swapFree=5860/116492
[pid=4729] ppid=4726 vsize=26008 CPUtime=462.25 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 985 0 0 0 46225 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320760 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 26008
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4859
/proc/meminfo: memFree=32107440/32770624 swapFree=5860/116524
[pid=4729] ppid=4726 vsize=26008 CPUtime=522.25 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 996 0 0 0 52225 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4321162 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 26008
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4867
/proc/meminfo: memFree=32107712/32770624 swapFree=5860/116568
[pid=4729] ppid=4726 vsize=26008 CPUtime=582.24 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1007 0 0 0 58224 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320912 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 26008
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 4892
/proc/meminfo: memFree=32106940/32770624 swapFree=5860/117076
[pid=4729] ppid=4726 vsize=26008 CPUtime=1542.17 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1183 0 0 0 154217 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4321231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 1542.17
Current children cumulated vsize (KiB) 26008
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4893
/proc/meminfo: memFree=32107060/32770624 swapFree=5860/117108
[pid=4729] ppid=4726 vsize=26008 CPUtime=1602.16 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1194 0 0 0 160216 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4321253 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 26008
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4894
/proc/meminfo: memFree=32106968/32770624 swapFree=5860/117136
[pid=4729] ppid=4726 vsize=26008 CPUtime=1662.15 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1205 0 0 0 166215 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4321276 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 26008
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 4895
/proc/meminfo: memFree=32107084/32770624 swapFree=5860/117164
[pid=4729] ppid=4726 vsize=26008 CPUtime=1722.15 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1216 0 0 0 172215 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320763 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 26008
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 4903
/proc/meminfo: memFree=32106528/32770624 swapFree=5860/117200
[pid=4729] ppid=4726 vsize=26008 CPUtime=1782.14 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1227 0 0 0 178214 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320746 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 26008
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4904
/proc/meminfo: memFree=32107068/32770624 swapFree=5860/117236
[pid=4729] ppid=4726 vsize=26008 CPUtime=1842.13 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1238 0 0 0 184213 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320799 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 26008
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4905
/proc/meminfo: memFree=32107044/32770624 swapFree=5860/117264
[pid=4729] ppid=4726 vsize=26008 CPUtime=1902.13 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1249 0 0 0 190213 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320692 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 26008
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4906
/proc/meminfo: memFree=32107072/32770624 swapFree=5860/117296
[pid=4729] ppid=4726 vsize=26008 CPUtime=1962.12 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1260 0 0 0 196212 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 26008
[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 4907
/proc/meminfo: memFree=32106228/32770624 swapFree=5860/117324
[pid=4729] ppid=4726 vsize=26008 CPUtime=2022.12 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1271 0 0 0 202212 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320760 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 26008
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4908
/proc/meminfo: memFree=32106488/32770624 swapFree=5860/117364
[pid=4729] ppid=4726 vsize=26008 CPUtime=2082.12 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1282 0 0 0 208212 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320760 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 26008
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4909
/proc/meminfo: memFree=32106368/32770624 swapFree=5860/117372
[pid=4729] ppid=4726 vsize=26008 CPUtime=2142.11 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1293 0 0 0 214211 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4321083 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 26008
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4910
/proc/meminfo: memFree=32106408/32770624 swapFree=5860/117416
[pid=4729] ppid=4726 vsize=26008 CPUtime=2202.11 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1305 0 0 0 220211 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320765 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 26008
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4911
/proc/meminfo: memFree=32106424/32770624 swapFree=5860/117452
[pid=4729] ppid=4726 vsize=26008 CPUtime=2262.1 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1316 0 0 0 226210 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 2262.1
Current children cumulated vsize (KiB) 26008
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4912
/proc/meminfo: memFree=32106692/32770624 swapFree=5860/117476
[pid=4729] ppid=4726 vsize=26008 CPUtime=2322.09 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1327 0 0 0 232209 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320954 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 26008
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4920
/proc/meminfo: memFree=32105472/32770624 swapFree=5860/117512
[pid=4729] ppid=4726 vsize=26008 CPUtime=2382.09 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1338 0 0 0 238209 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4321095 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 26008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4920
/proc/meminfo: memFree=32105708/32770624 swapFree=5860/117524
[pid=4729] ppid=4726 vsize=26008 CPUtime=2400.09 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1348 0 0 0 240009 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320791 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 26008
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 4729 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4920
/proc/meminfo: memFree=32105708/32770624 swapFree=5860/117524
[pid=4729] ppid=4726 vsize=26008 CPUtime=2400.09 cores=0,2,4,6
/proc/4729/stat : 4729 (miniBTD) R 4726 4729 3496 0 -1 4202496 1348 0 0 0 240009 0 0 0 20 0 1 0 1541902 26632192 678 33554432000 4194304 4832315 140733069244768 140733069242776 4320791 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 24727552 140733069251826 140733069251906 140733069251906 140733069254605 0
/proc/4729/statm: 6502 678 567 156 0 144 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 26008
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.31
CPU time (s): 2400.1
CPU user time (s): 2400.1
CPU system time (s): 0.001256
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 26008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.1
system time used= 0.001256
maximum resident set size= 2712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1349
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= 7
involuntary context switches= 624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75777 second user time and 7.05947 second system time
The end