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-4251506-1500914976/watcher-4251506-1500914976 -o /tmp/evaluation-result-4251506-1500914976/solver-4251506-1500914976 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500914976-3527 --watchdog 2560 miniBTD 2400 HOME/instance-4251506-1500914976.xml
pid=3555
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: 7.76 7.98 7.63 2/182 3558
/proc/meminfo: memFree=32113924/32770624 swapFree=5860/114496
[pid=3558] ppid=3555 vsize=26136 CPUtime=0 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 875 0 0 0 0 0 0 0 20 0 1 0 1056991 26763264 678 33554432000 4194304 4832315 140727621478032 140727621475720 4340304 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6534 678 530 156 0 176 0
[startup+0.100197 s]
/proc/loadavg: 7.76 7.98 7.63 2/182 3558
/proc/meminfo: memFree=32113924/32770624 swapFree=5860/114496
[pid=3558] ppid=3555 vsize=26400 CPUtime=0.09 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 969 0 0 0 9 0 0 0 20 0 1 0 1056991 27033600 744 33554432000 4194304 4832315 140727621478032 140727621475720 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6600 744 555 156 0 242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26400
[startup+0.200338 s]
/proc/loadavg: 7.76 7.98 7.63 2/182 3558
/proc/meminfo: memFree=32113924/32770624 swapFree=5860/114496
[pid=3558] ppid=3555 vsize=26532 CPUtime=0.19 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 970 0 0 0 19 0 0 0 20 0 1 0 1056991 27168768 744 33554432000 4194304 4832315 140727621478032 140727621475720 140571101901216 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6633 744 555 156 0 275 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26532
[startup+0.300313 s]
/proc/loadavg: 7.76 7.98 7.63 2/182 3558
/proc/meminfo: memFree=32113924/32770624 swapFree=5860/114496
[pid=3558] ppid=3555 vsize=26532 CPUtime=0.29 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 973 0 0 0 29 0 0 0 20 0 1 0 1056991 27168768 744 33554432000 4194304 4832315 140727621478032 140727621475720 140571092446820 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6633 744 555 156 0 275 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26532
[startup+0.700288 s]
/proc/loadavg: 7.76 7.98 7.63 2/182 3558
/proc/meminfo: memFree=32113924/32770624 swapFree=5860/114496
[pid=3558] ppid=3555 vsize=26532 CPUtime=0.69 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 976 0 0 0 69 0 0 0 20 0 1 0 1056991 27168768 744 33554432000 4194304 4832315 140727621478032 140727621475720 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6633 744 555 156 0 275 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26532
[startup+1.50028 s]
/proc/loadavg: 7.76 7.98 7.63 3/183 3559
/proc/meminfo: memFree=32111232/32770624 swapFree=5860/114340
[pid=3558] ppid=3555 vsize=26532 CPUtime=1.49 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 981 0 0 0 148 1 0 0 20 0 1 0 1056991 27168768 810 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6633 810 570 156 0 275 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26532
[startup+3.10029 s]
/proc/loadavg: 7.30 7.88 7.60 3/183 3559
/proc/meminfo: memFree=32110824/32770624 swapFree=5860/114348
[pid=3558] ppid=3555 vsize=26532 CPUtime=3.09 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 1115 0 0 0 307 2 0 0 20 0 1 0 1056991 27168768 815 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6633 815 570 156 0 275 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26532
[startup+6.30029 s]
/proc/loadavg: 7.30 7.88 7.60 3/183 3559
/proc/meminfo: memFree=32111660/32770624 swapFree=5860/114352
[pid=3558] ppid=3555 vsize=26532 CPUtime=6.29 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 1255 0 0 0 624 5 0 0 20 0 1 0 1056991 27168768 822 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6633 822 570 156 0 275 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26532
[startup+12.7003 s]
/proc/loadavg: 6.87 7.78 7.57 3/183 3559
/proc/meminfo: memFree=32112032/32770624 swapFree=5860/114360
[pid=3558] ppid=3555 vsize=26532 CPUtime=12.69 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 1402 0 0 0 1259 10 0 0 20 0 1 0 1056991 27168768 828 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6633 828 570 156 0 275 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26532
[startup+25.5058 s]
/proc/loadavg: 5.79 7.50 7.48 3/183 3566
/proc/meminfo: memFree=32112116/32770624 swapFree=5860/114368
[pid=3558] ppid=3555 vsize=26664 CPUtime=25.49 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 1703 0 0 0 2530 19 0 0 20 0 1 0 1056991 27303936 839 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6666 839 570 156 0 308 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26664
[startup+51.1003 s]
/proc/loadavg: 4.50 7.06 7.34 3/183 3566
/proc/meminfo: memFree=32112476/32770624 swapFree=5860/114384
[pid=3558] ppid=3555 vsize=26664 CPUtime=51.08 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 1873 0 0 0 5073 35 0 0 20 0 1 0 1056991 27303936 846 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6666 846 570 156 0 308 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26664
[startup+102.3 s]
/proc/loadavg: 3.08 6.28 7.06 3/183 3567
/proc/meminfo: memFree=32111260/32770624 swapFree=5860/114408
[pid=3558] ppid=3555 vsize=26664 CPUtime=102.28 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 2043 0 0 0 10159 69 0 0 20 0 1 0 1056991 27303936 852 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6666 852 570 156 0 308 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 26664
[startup+162.3 s]
/proc/loadavg: 2.40 5.50 6.74 3/183 3568
/proc/meminfo: memFree=32112380/32770624 swapFree=5860/114436
[pid=3558] ppid=3555 vsize=26664 CPUtime=162.27 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 2214 0 0 0 16111 116 0 0 20 0 1 0 1056991 27303936 856 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6666 856 570 156 0 308 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 26664
[startup+222.3 s]
/proc/loadavg: 2.13 4.81 6.42 3/183 3569
/proc/meminfo: memFree=32112628/32770624 swapFree=5860/114456
[pid=3558] ppid=3555 vsize=26664 CPUtime=222.27 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 2390 0 0 0 22068 159 0 0 20 0 1 0 1056991 27303936 862 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6666 862 570 156 0 308 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 26664
[startup+282.3 s]
/proc/loadavg: 2.05 4.34 6.16 3/183 3570
/proc/meminfo: memFree=32113248/32770624 swapFree=5860/114484
[pid=3558] ppid=3555 vsize=26796 CPUtime=282.26 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 2568 0 0 0 28023 203 0 0 20 0 1 0 1056991 27439104 867 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 867 570 156 0 341 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 26796
[startup+342.306 s]
/proc/loadavg: 2.02 3.91 5.90 3/182 3572
/proc/meminfo: memFree=32113560/32770624 swapFree=5860/114512
[pid=3558] ppid=3555 vsize=26796 CPUtime=342.26 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 2746 0 0 0 33982 244 0 0 20 0 1 0 1056991 27439104 869 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 869 570 156 0 341 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 26796
[startup+402.3 s]
/proc/loadavg: 2.01 3.57 5.66 3/182 3573
/proc/meminfo: memFree=32113940/32770624 swapFree=5860/114532
[pid=3558] ppid=3555 vsize=26796 CPUtime=402.26 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 2918 0 0 0 39941 285 0 0 20 0 1 0 1056991 27439104 871 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 871 570 156 0 341 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 26796
[startup+462.3 s]
/proc/loadavg: 2.00 3.28 5.43 3/182 3574
/proc/meminfo: memFree=32113832/32770624 swapFree=5860/114552
[pid=3558] ppid=3555 vsize=26796 CPUtime=462.25 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 3099 0 0 0 45897 328 0 0 20 0 1 0 1056991 27439104 874 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 874 570 156 0 341 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 26796
[startup+522.3 s]
/proc/loadavg: 2.00 3.05 5.22 3/182 3576
/proc/meminfo: memFree=32113924/32770624 swapFree=5860/114580
[pid=3558] ppid=3555 vsize=26796 CPUtime=522.24 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 3268 0 0 0 51850 374 0 0 20 0 1 0 1056991 27439104 874 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 874 570 156 0 341 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 26796
[startup+582.3 s]
/proc/loadavg: 2.03 2.87 5.02 3/182 3577
/proc/meminfo: memFree=32113568/32770624 swapFree=5860/114612
[pid=3558] ppid=3555 vsize=26796 CPUtime=582.24 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 3444 0 0 0 57800 424 0 0 20 0 1 0 1056991 27439104 875 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 875 570 156 0 341 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 26796
################
# More data... #
################
/proc/loadavg: 2.00 2.03 2.84 3/182 3635
/proc/meminfo: memFree=32112308/32770624 swapFree=5860/114908
[pid=3558] ppid=3555 vsize=26796 CPUtime=1782.13 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 6947 0 0 0 176815 1398 0 0 20 0 1 0 1056991 27439104 892 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 892 570 156 0 341 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 26796
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.79 3/182 3643
/proc/meminfo: memFree=32111432/32770624 swapFree=5860/114932
[pid=3558] ppid=3555 vsize=26796 CPUtime=1842.13 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 7111 0 0 0 182765 1448 0 0 20 0 1 0 1056991 27439104 892 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 892 570 156 0 341 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 26796
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.74 3/182 3644
/proc/meminfo: memFree=32112216/32770624 swapFree=5860/114960
[pid=3558] ppid=3555 vsize=26796 CPUtime=1902.12 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 7308 0 0 0 188720 1492 0 0 20 0 1 0 1056991 27439104 892 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 892 570 156 0 341 0
Current children cumulated CPU time (s) 1902.12
Current children cumulated vsize (KiB) 26796
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.69 3/182 3645
/proc/meminfo: memFree=32112456/32770624 swapFree=5860/114988
[pid=3558] ppid=3555 vsize=26796 CPUtime=1962.12 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 7469 0 0 0 194673 1539 0 0 20 0 1 0 1056991 27439104 893 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 893 570 156 0 341 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 26796
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.65 3/182 3646
/proc/meminfo: memFree=32112292/32770624 swapFree=5860/115012
[pid=3558] ppid=3555 vsize=26796 CPUtime=2022.12 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 7630 0 0 0 200625 1587 0 0 20 0 1 0 1056991 27439104 893 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 893 570 156 0 341 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 26796
[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.62 3/182 3647
/proc/meminfo: memFree=32112624/32770624 swapFree=5860/115028
[pid=3558] ppid=3555 vsize=26796 CPUtime=2082.11 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 7826 0 0 0 206576 1635 0 0 20 0 1 0 1056991 27439104 893 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 893 570 156 0 341 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 26796
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.58 3/182 3649
/proc/meminfo: memFree=32111732/32770624 swapFree=5860/115056
[pid=3558] ppid=3555 vsize=26796 CPUtime=2142.1 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 7993 0 0 0 212523 1687 0 0 20 0 1 0 1056991 27439104 895 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 895 570 156 0 341 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 26796
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.54 3/182 3650
/proc/meminfo: memFree=32111856/32770624 swapFree=5860/115080
[pid=3558] ppid=3555 vsize=26796 CPUtime=2202.11 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 8153 0 0 0 218472 1739 0 0 20 0 1 0 1056991 27439104 895 33554432000 4194304 4832315 140727621478032 140727621475752 140571101902116 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 895 570 156 0 341 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 26796
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.51 3/182 3651
/proc/meminfo: memFree=32112104/32770624 swapFree=5860/115108
[pid=3558] ppid=3555 vsize=26796 CPUtime=2262.09 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 8345 0 0 0 224418 1791 0 0 20 0 1 0 1056991 27439104 895 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 895 570 156 0 341 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 26796
[startup+2322.31 s]
/proc/loadavg: 2.00 2.01 2.48 3/182 3653
/proc/meminfo: memFree=32112440/32770624 swapFree=5860/115132
[pid=3558] ppid=3555 vsize=26796 CPUtime=2322.1 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 8506 0 0 0 230369 1841 0 0 20 0 1 0 1056991 27439104 896 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 896 570 156 0 341 0
Current children cumulated CPU time (s) 2322.1
Current children cumulated vsize (KiB) 26796
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.45 3/182 3654
/proc/meminfo: memFree=32112060/32770624 swapFree=5860/115156
[pid=3558] ppid=3555 vsize=26796 CPUtime=2382.08 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 8666 0 0 0 236319 1889 0 0 20 0 1 0 1056991 27439104 896 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 896 570 156 0 341 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 26796
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3558 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.7 s]
/proc/loadavg: 2.00 2.01 2.44 3/182 3654
/proc/meminfo: memFree=32112060/32770624 swapFree=5860/115172
[pid=3558] ppid=3555 vsize=26796 CPUtime=2393.49 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 8666 0 0 0 237452 1897 0 0 20 0 1 0 1056991 27439104 896 33554432000 4194304 4832315 140727621478032 140727621475752 4340864 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 896 570 156 0 341 0
Current children cumulated CPU time (s) 2393.49
Current children cumulated vsize (KiB) 26796
[startup+2396.9 s]
/proc/loadavg: 2.00 2.01 2.44 3/182 3654
/proc/meminfo: memFree=32112060/32770624 swapFree=5860/115172
[pid=3558] ppid=3555 vsize=26796 CPUtime=2396.68 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 8825 0 0 0 237769 1899 0 0 20 0 1 0 1056991 27439104 896 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 896 570 156 0 341 0
Current children cumulated CPU time (s) 2396.68
Current children cumulated vsize (KiB) 26796
[startup+2398.5 s]
/proc/loadavg: 2.00 2.01 2.44 3/182 3654
/proc/meminfo: memFree=32112060/32770624 swapFree=5860/115172
[pid=3558] ppid=3555 vsize=26796 CPUtime=2398.28 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 8826 0 0 0 237928 1900 0 0 20 0 1 0 1056991 27439104 896 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 896 570 156 0 341 0
Current children cumulated CPU time (s) 2398.28
Current children cumulated vsize (KiB) 26796
[startup+2399.31 s]
/proc/loadavg: 2.00 2.01 2.44 3/182 3654
/proc/meminfo: memFree=32112060/32770624 swapFree=5860/115172
[pid=3558] ppid=3555 vsize=26796 CPUtime=2399.09 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 8826 0 0 0 238008 1901 0 0 20 0 1 0 1056991 27439104 896 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 896 570 156 0 341 0
Current children cumulated CPU time (s) 2399.09
Current children cumulated vsize (KiB) 26796
[startup+2399.7 s]
/proc/loadavg: 2.00 2.01 2.44 3/182 3654
/proc/meminfo: memFree=32112060/32770624 swapFree=5860/115172
[pid=3558] ppid=3555 vsize=26796 CPUtime=2399.48 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 8826 0 0 0 238047 1901 0 0 20 0 1 0 1056991 27439104 896 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 896 570 156 0 341 0
Current children cumulated CPU time (s) 2399.48
Current children cumulated vsize (KiB) 26796
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.44 3/182 3654
/proc/meminfo: memFree=32112060/32770624 swapFree=5860/115172
[pid=3558] ppid=3555 vsize=26796 CPUtime=2399.88 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 8826 0 0 0 238086 1902 0 0 20 0 1 0 1056991 27439104 896 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 896 570 156 0 341 0
Current children cumulated CPU time (s) 2399.88
Current children cumulated vsize (KiB) 26796
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.44 3/182 3654
/proc/meminfo: memFree=32112060/32770624 swapFree=5860/115172
[pid=3558] ppid=3555 vsize=26796 CPUtime=2399.98 cores=0,2,4,6
/proc/3558/stat : 3558 (miniBTD) R 3555 3558 3496 0 -1 4202496 8826 0 0 0 238096 1902 0 0 20 0 1 0 1056991 27439104 896 33554432000 4194304 4832315 140727621478032 140727621475752 140571092717948 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 16728064 140727621481714 140727621481794 140727621481794 140727621484493 0
/proc/3558/statm: 6699 896 570 156 0 341 0
Current children cumulated CPU time (s) 2399.98
Current children cumulated vsize (KiB) 26796
Child status: 0
Real time (s): 2400.21
CPU time (s): 2400
CPU user time (s): 2380.98
CPU system time (s): 19.0223
CPU usage (%): 99.9913
Max. virtual memory (cumulated for all children) (KiB): 26796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2380.98
system time used= 19.0223
maximum resident set size= 3656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8965
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= 6
involuntary context switches= 737
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.49208 second user time and 8.43292 second system time
The end