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-4252948-1500934761/watcher-4252948-1500934761 -o /tmp/evaluation-result-4252948-1500934761/solver-4252948-1500934761 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500934761-8426 --watchdog 2560 miniBTD 2400 HOME/instance-4252948-1500934761.xml
pid=8447
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.00 1.22 1.64 3/178 8450
/proc/meminfo: memFree=32097604/32770624 swapFree=5848/125348
[pid=8450] ppid=8447 vsize=25876 CPUtime=0 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 3064885 26497024 601 33554432000 4194304 4832315 140724738110336 140724738107336 4320757 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6469 601 518 156 0 111 0
[startup+0.100101 s]
/proc/loadavg: 1.00 1.22 1.64 3/178 8450
/proc/meminfo: memFree=32097604/32770624 swapFree=5848/125348
[pid=8450] ppid=8447 vsize=26008 CPUtime=0.09 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 853 0 0 0 9 0 0 0 20 0 1 0 3064885 26632192 667 33554432000 4194304 4832315 140724738110336 140724738107336 4320692 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 667 567 156 0 144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26008
[startup+0.200209 s]
/proc/loadavg: 1.00 1.22 1.64 3/178 8450
/proc/meminfo: memFree=32097604/32770624 swapFree=5848/125348
[pid=8450] ppid=8447 vsize=26008 CPUtime=0.19 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 857 0 0 0 19 0 0 0 20 0 1 0 3064885 26632192 667 33554432000 4194304 4832315 140724738110336 140724738107336 4321125 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 667 567 156 0 144 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26008
[startup+0.300209 s]
/proc/loadavg: 1.00 1.22 1.64 3/178 8450
/proc/meminfo: memFree=32097604/32770624 swapFree=5848/125348
[pid=8450] ppid=8447 vsize=26008 CPUtime=0.29 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 860 0 0 0 29 0 0 0 20 0 1 0 3064885 26632192 667 33554432000 4194304 4832315 140724738110336 140724738107336 4320806 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 667 567 156 0 144 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26008
[startup+0.700186 s]
/proc/loadavg: 1.00 1.22 1.64 3/178 8450
/proc/meminfo: memFree=32097604/32770624 swapFree=5848/125348
[pid=8450] ppid=8447 vsize=26008 CPUtime=0.69 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 860 0 0 0 69 0 0 0 20 0 1 0 3064885 26632192 667 33554432000 4194304 4832315 140724738110336 140724738107336 4320709 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 667 567 156 0 144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26008
[startup+1.50018 s]
/proc/loadavg: 1.00 1.22 1.64 3/182 8457
/proc/meminfo: memFree=32096132/32770624 swapFree=5848/125380
[pid=8450] ppid=8447 vsize=26008 CPUtime=1.49 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 860 0 0 0 149 0 0 0 20 0 1 0 3064885 26632192 667 33554432000 4194304 4832315 140724738110336 140724738108056 4320750 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 667 567 156 0 144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26008
[startup+3.1002 s]
/proc/loadavg: 1.00 1.22 1.64 3/182 8457
/proc/meminfo: memFree=32094992/32770624 swapFree=5848/125344
[pid=8450] ppid=8447 vsize=26008 CPUtime=3.09 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 893 0 0 0 309 0 0 0 20 0 1 0 3064885 26632192 667 33554432000 4194304 4832315 140724738110336 140724738108056 4320815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 667 567 156 0 144 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26008
[startup+6.30017 s]
/proc/loadavg: 1.08 1.23 1.64 3/182 8457
/proc/meminfo: memFree=32094992/32770624 swapFree=5848/125344
[pid=8450] ppid=8447 vsize=26008 CPUtime=6.29 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 926 0 0 0 628 1 0 0 20 0 1 0 3064885 26632192 692 33554432000 4194304 4832315 140724738110336 140724738108056 4320936 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 692 579 156 0 144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26008
[startup+12.7002 s]
/proc/loadavg: 1.16 1.25 1.65 3/182 8457
/proc/meminfo: memFree=32094744/32770624 swapFree=5848/125352
[pid=8450] ppid=8447 vsize=26008 CPUtime=12.69 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 959 0 0 0 1268 1 0 0 20 0 1 0 3064885 26632192 692 33554432000 4194304 4832315 140724738110336 140724738108056 4321153 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 692 579 156 0 144 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26008
[startup+25.5002 s]
/proc/loadavg: 1.34 1.28 1.65 3/182 8457
/proc/meminfo: memFree=32095032/32770624 swapFree=5848/125356
[pid=8450] ppid=8447 vsize=26008 CPUtime=25.49 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 1036 0 0 0 2548 1 0 0 20 0 1 0 3064885 26632192 693 33554432000 4194304 4832315 140724738110336 140724738108056 4320763 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 693 580 156 0 144 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26008
[startup+51.1002 s]
/proc/loadavg: 1.57 1.34 1.66 3/182 8464
/proc/meminfo: memFree=32094400/32770624 swapFree=5848/125384
[pid=8450] ppid=8447 vsize=26008 CPUtime=51.09 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 1076 0 0 0 5108 1 0 0 20 0 1 0 3064885 26632192 693 33554432000 4194304 4832315 140724738110336 140724738108056 4321091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 693 580 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.81 1.44 1.68 3/182 8465
/proc/meminfo: memFree=32094024/32770624 swapFree=5848/125412
[pid=8450] ppid=8447 vsize=26008 CPUtime=102.28 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 1118 0 0 0 10227 1 0 0 20 0 1 0 3064885 26632192 694 33554432000 4194304 4832315 140724738110336 140724738108056 4321106 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 694 580 156 0 144 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 26008
[startup+162.3 s]
/proc/loadavg: 2.01 1.56 1.70 3/182 8466
/proc/meminfo: memFree=32093900/32770624 swapFree=5848/125432
[pid=8450] ppid=8447 vsize=26008 CPUtime=162.27 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 1160 0 0 0 16226 1 0 0 20 0 1 0 3064885 26632192 694 33554432000 4194304 4832315 140724738110336 140724738108056 4321122 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 694 580 156 0 144 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 26008
[startup+222.306 s]
/proc/loadavg: 2.00 1.64 1.72 3/182 8467
/proc/meminfo: memFree=32093532/32770624 swapFree=5848/125452
[pid=8450] ppid=8447 vsize=26008 CPUtime=222.27 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 1205 0 0 0 22226 1 0 0 20 0 1 0 3064885 26632192 697 33554432000 4194304 4832315 140724738110336 140724738108056 4320760 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 697 580 156 0 144 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 26008
[startup+282.3 s]
/proc/loadavg: 2.00 1.71 1.74 3/182 8468
/proc/meminfo: memFree=32093400/32770624 swapFree=5848/125472
[pid=8450] ppid=8447 vsize=26008 CPUtime=282.26 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 1249 0 0 0 28225 1 0 0 20 0 1 0 3064885 26632192 698 33554432000 4194304 4832315 140724738110336 140724738108056 4321217 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 698 580 156 0 144 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 26008
[startup+342.3 s]
/proc/loadavg: 2.00 1.76 1.76 3/182 8470
/proc/meminfo: memFree=32093164/32770624 swapFree=5848/125504
[pid=8450] ppid=8447 vsize=26008 CPUtime=342.25 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 1294 0 0 0 34224 1 0 0 20 0 1 0 3064885 26632192 698 33554432000 4194304 4832315 140724738110336 140724738108056 4321127 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 698 580 156 0 144 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 26008
[startup+402.3 s]
/proc/loadavg: 2.00 1.80 1.77 3/182 8471
/proc/meminfo: memFree=32093788/32770624 swapFree=5848/125536
[pid=8450] ppid=8447 vsize=26008 CPUtime=402.25 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 1340 0 0 0 40224 1 0 0 20 0 1 0 3064885 26632192 699 33554432000 4194304 4832315 140724738110336 140724738108056 4321110 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 699 580 156 0 144 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 26008
[startup+462.3 s]
/proc/loadavg: 2.00 1.84 1.79 3/182 8472
/proc/meminfo: memFree=32093544/32770624 swapFree=5848/125556
[pid=8450] ppid=8447 vsize=26008 CPUtime=462.24 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 1387 0 0 0 46222 2 0 0 20 0 1 0 3064885 26632192 700 33554432000 4194304 4832315 140724738110336 140724738108056 4321162 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 700 580 156 0 144 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 26008
[startup+522.3 s]
/proc/loadavg: 2.00 1.87 1.80 3/182 8474
/proc/meminfo: memFree=32093376/32770624 swapFree=5848/125576
[pid=8450] ppid=8447 vsize=26008 CPUtime=522.24 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 1431 0 0 0 52222 2 0 0 20 0 1 0 3064885 26632192 701 33554432000 4194304 4832315 140724738110336 140724738108056 4321072 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 701 580 156 0 144 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 26008
[startup+582.3 s]
/proc/loadavg: 2.00 1.89 1.81 3/182 8475
/proc/meminfo: memFree=32093596/32770624 swapFree=5848/125600
[pid=8450] ppid=8447 vsize=26008 CPUtime=582.23 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 1479 0 0 0 58221 2 0 0 20 0 1 0 3064885 26632192 701 33554432000 4194304 4832315 140724738110336 140724738108056 4321229 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 701 580 156 0 144 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 26008
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.95 3/182 8507
/proc/meminfo: memFree=32094068/32770624 swapFree=5824/126024
[pid=8450] ppid=8447 vsize=26008 CPUtime=1662.12 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2320 0 0 0 166205 7 0 0 20 0 1 0 3064885 26632192 706 33554432000 4194304 4832315 140724738110336 140724738108056 4321162 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 706 580 156 0 144 0
Current children cumulated CPU time (s) 1662.12
Current children cumulated vsize (KiB) 26008
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/182 8508
/proc/meminfo: memFree=32093804/32770624 swapFree=5824/126044
[pid=8450] ppid=8447 vsize=26008 CPUtime=1722.11 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2364 0 0 0 172204 7 0 0 20 0 1 0 3064885 26632192 707 33554432000 4194304 4832315 140724738110336 140724738108056 4321125 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 707 580 156 0 144 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 26008
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/182 8509
/proc/meminfo: memFree=32093424/32770624 swapFree=5824/126064
[pid=8450] ppid=8447 vsize=26008 CPUtime=1782.11 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2412 0 0 0 178204 7 0 0 20 0 1 0 3064885 26632192 707 33554432000 4194304 4832315 140724738110336 140724738108056 4321127 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 707 580 156 0 144 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 26008
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 8517
/proc/meminfo: memFree=32092336/32770624 swapFree=5824/126092
[pid=8450] ppid=8447 vsize=26008 CPUtime=1842.1 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2459 0 0 0 184203 7 0 0 20 0 1 0 3064885 26632192 707 33554432000 4194304 4832315 140724738110336 140724738108056 4321110 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 707 580 156 0 144 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 26008
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 8518
/proc/meminfo: memFree=32092640/32770624 swapFree=5824/126120
[pid=8450] ppid=8447 vsize=26008 CPUtime=1902.1 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2503 0 0 0 190202 8 0 0 20 0 1 0 3064885 26632192 707 33554432000 4194304 4832315 140724738110336 140724738108056 4321153 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 707 580 156 0 144 0
Current children cumulated CPU time (s) 1902.1
Current children cumulated vsize (KiB) 26008
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 8519
/proc/meminfo: memFree=32092272/32770624 swapFree=5824/126140
[pid=8450] ppid=8447 vsize=26008 CPUtime=1962.09 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2553 0 0 0 196201 8 0 0 20 0 1 0 3064885 26632192 707 33554432000 4194304 4832315 140724738110336 140724738108056 4321095 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 707 580 156 0 144 0
Current children cumulated CPU time (s) 1962.09
Current children cumulated vsize (KiB) 26008
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 8520
/proc/meminfo: memFree=32092024/32770624 swapFree=5824/126164
[pid=8450] ppid=8447 vsize=26008 CPUtime=2022.09 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2600 0 0 0 202201 8 0 0 20 0 1 0 3064885 26632192 707 33554432000 4194304 4832315 140724738110336 140724738108056 4321125 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 707 580 156 0 144 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 26008
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 8521
/proc/meminfo: memFree=32092644/32770624 swapFree=5824/126192
[pid=8450] ppid=8447 vsize=26008 CPUtime=2082.08 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2643 0 0 0 208200 8 0 0 20 0 1 0 3064885 26632192 708 33554432000 4194304 4832315 140724738110336 140724738108056 4321217 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 708 580 156 0 144 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 26008
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/182 8523
/proc/meminfo: memFree=32092640/32770624 swapFree=5824/126212
[pid=8450] ppid=8447 vsize=26008 CPUtime=2142.07 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2689 0 0 0 214199 8 0 0 20 0 1 0 3064885 26632192 708 33554432000 4194304 4832315 140724738110336 140724738108056 4320692 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 708 580 156 0 144 0
Current children cumulated CPU time (s) 2142.07
Current children cumulated vsize (KiB) 26008
[startup+2202.31 s]
/proc/loadavg: 2.04 2.03 1.96 3/182 8524
/proc/meminfo: memFree=32093264/32770624 swapFree=5824/126240
[pid=8450] ppid=8447 vsize=26008 CPUtime=2202.07 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2734 0 0 0 220198 9 0 0 20 0 1 0 3064885 26632192 708 33554432000 4194304 4832315 140724738110336 140724738108056 4321125 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 708 580 156 0 144 0
Current children cumulated CPU time (s) 2202.07
Current children cumulated vsize (KiB) 26008
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 8525
/proc/meminfo: memFree=32092772/32770624 swapFree=5824/126260
[pid=8450] ppid=8447 vsize=26008 CPUtime=2262.06 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2787 0 0 0 226197 9 0 0 20 0 1 0 3064885 26632192 708 33554432000 4194304 4832315 140724738110336 140724738108056 4320760 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 708 580 156 0 144 0
Current children cumulated CPU time (s) 2262.06
Current children cumulated vsize (KiB) 26008
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8450 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2278.4 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 8525
/proc/meminfo: memFree=32092772/32770624 swapFree=5824/126268
[pid=8450] ppid=8447 vsize=26008 CPUtime=2278.15 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2827 0 0 0 227806 9 0 0 20 0 1 0 3064885 26632192 708 33554432000 4194304 4832315 140724738110336 140724738108056 4321122 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 708 580 156 0 144 0
Current children cumulated CPU time (s) 2278.15
Current children cumulated vsize (KiB) 26008
[startup+2284.81 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 8526
/proc/meminfo: memFree=32092656/32770624 swapFree=5824/126268
[pid=8450] ppid=8447 vsize=26008 CPUtime=2284.56 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2828 0 0 0 228447 9 0 0 20 0 1 0 3064885 26632192 708 33554432000 4194304 4832315 140724738110336 140724738108056 4321162 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 708 580 156 0 144 0
Current children cumulated CPU time (s) 2284.56
Current children cumulated vsize (KiB) 26008
[startup+2288 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 8526
/proc/meminfo: memFree=32092648/32770624 swapFree=5824/126284
[pid=8450] ppid=8447 vsize=26008 CPUtime=2287.76 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2828 0 0 0 228767 9 0 0 20 0 1 0 3064885 26632192 708 33554432000 4194304 4832315 140724738110336 140724738108056 4321110 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 708 580 156 0 144 0
Current children cumulated CPU time (s) 2287.76
Current children cumulated vsize (KiB) 26008
[startup+2289.6 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 8526
/proc/meminfo: memFree=32092648/32770624 swapFree=5824/126284
[pid=8450] ppid=8447 vsize=26008 CPUtime=2289.35 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2828 0 0 0 228926 9 0 0 20 0 1 0 3064885 26632192 708 33554432000 4194304 4832315 140724738110336 140724738108056 4320760 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 708 580 156 0 144 0
Current children cumulated CPU time (s) 2289.35
Current children cumulated vsize (KiB) 26008
[startup+2291.2 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 8526
/proc/meminfo: memFree=32092648/32770624 swapFree=5824/126284
[pid=8450] ppid=8447 vsize=26008 CPUtime=2290.95 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2828 0 0 0 229086 9 0 0 20 0 1 0 3064885 26632192 708 33554432000 4194304 4832315 140724738110336 140724738108056 4321153 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 708 580 156 0 144 0
Current children cumulated CPU time (s) 2290.95
Current children cumulated vsize (KiB) 26008
[startup+2292 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 8526
/proc/meminfo: memFree=32092648/32770624 swapFree=5824/126284
[pid=8450] ppid=8447 vsize=26008 CPUtime=2291.75 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2828 0 0 0 229166 9 0 0 20 0 1 0 3064885 26632192 708 33554432000 4194304 4832315 140724738110336 140724738108056 4321127 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 708 580 156 0 144 0
Current children cumulated CPU time (s) 2291.75
Current children cumulated vsize (KiB) 26008
[startup+2292.2 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 8526
/proc/meminfo: memFree=32092648/32770624 swapFree=5824/126284
[pid=8450] ppid=8447 vsize=26008 CPUtime=2291.95 cores=0,2,4,6
/proc/8450/stat : 8450 (miniBTD) R 8447 8450 3722 0 -1 4202496 2828 0 0 0 229186 9 0 0 20 0 1 0 3064885 26632192 708 33554432000 4194304 4832315 140724738110336 140724738108056 4321153 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 15015936 140724738118898 140724738118978 140724738118978 140724738121677 0
/proc/8450/statm: 6502 708 580 156 0 144 0
Current children cumulated CPU time (s) 2291.95
Current children cumulated vsize (KiB) 26008
Child status: 0
Real time (s): 2292.22
CPU time (s): 2291.99
CPU user time (s): 2291.89
CPU system time (s): 0.09899
CPU usage (%): 99.9898
Max. virtual memory (cumulated for all children) (KiB): 26008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2291.89
system time used= 0.09899
maximum resident set size= 2908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2897
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= 11
involuntary context switches= 2558
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47033 second user time and 7.28694 second system time
The end