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-4251713-1500917863/watcher-4251713-1500917863 -o /tmp/evaluation-result-4251713-1500917863/solver-4251713-1500917863 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500914928-3503 --watchdog 2560 miniBTD 2400 HOME/instance-4251713-1500917863.xml
pid=4797
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.11 4/181 4800
/proc/meminfo: memFree=32099136/32770624 swapFree=5828/111056
[pid=4800] ppid=4797 vsize=26000 CPUtime=0 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 797 0 0 0 0 0 0 0 20 0 1 0 1326012 26624000 613 33554432000 4194304 4832315 140723176426416 140723176423416 139933208976357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 6500 613 512 156 0 142 0
[startup+0.100158 s]
/proc/loadavg: 2.00 2.01 2.11 4/181 4800
/proc/meminfo: memFree=32099136/32770624 swapFree=5828/111056
[pid=4800] ppid=4797 vsize=31908 CPUtime=0.09 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 2275 0 0 0 9 0 0 0 20 0 1 0 1326012 32673792 2091 33554432000 4194304 4832315 140723176426416 140723176423416 139933208976357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 7977 2091 512 156 0 1619 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31908
[startup+0.200317 s]
/proc/loadavg: 2.00 2.01 2.11 4/181 4800
/proc/meminfo: memFree=32099136/32770624 swapFree=5828/111056
[pid=4800] ppid=4797 vsize=38052 CPUtime=0.19 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 3815 0 0 0 19 0 0 0 20 0 1 0 1326012 38965248 3628 33554432000 4194304 4832315 140723176426416 140723176423416 139933208976357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 9513 3628 512 156 0 3155 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38052
[startup+0.300295 s]
/proc/loadavg: 2.00 2.01 2.11 4/181 4800
/proc/meminfo: memFree=32099136/32770624 swapFree=5828/111056
[pid=4800] ppid=4797 vsize=44220 CPUtime=0.29 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 5345 0 0 0 28 1 0 0 20 0 1 0 1326012 45281280 5169 33554432000 4194304 4832315 140723176426416 140723176423416 139933208976357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 11055 5169 512 156 0 4697 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44220
[startup+0.700241 s]
/proc/loadavg: 2.00 2.01 2.11 4/181 4800
/proc/meminfo: memFree=32099136/32770624 swapFree=5828/111056
[pid=4800] ppid=4797 vsize=68408 CPUtime=0.69 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 11408 0 0 0 68 1 0 0 20 0 1 0 1326012 70049792 11183 33554432000 4194304 4832315 140723176426416 140723176422648 139933208976357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 17102 11183 512 156 0 10744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68408
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.11 3/182 4801
/proc/meminfo: memFree=32032076/32770624 swapFree=5828/111076
[pid=4800] ppid=4797 vsize=99624 CPUtime=1.49 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 19242 0 0 0 147 2 0 0 20 0 1 0 1326012 102014976 19064 33554432000 4194304 4832315 140723176426416 140723176422648 139933208976357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 24906 19064 557 156 0 18548 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99624
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.11 3/182 4801
/proc/meminfo: memFree=32006408/32770624 swapFree=5828/111080
[pid=4800] ppid=4797 vsize=122620 CPUtime=3.09 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 25248 0 0 0 306 3 0 0 20 0 1 0 1326012 125562880 24842 33554432000 4194304 4832315 140723176426416 140723176422648 139933208976357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 30655 24842 583 156 0 24297 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122620
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.11 3/182 4801
/proc/meminfo: memFree=31986444/32770624 swapFree=5828/111092
[pid=4800] ppid=4797 vsize=142024 CPUtime=6.3 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 33874 0 0 0 626 4 0 0 20 0 1 0 1326012 145432576 29680 33554432000 4194304 4832315 140723176426416 140723176423592 139933208976357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 35506 29680 583 156 0 29148 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 142024
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.11 3/182 4801
/proc/meminfo: memFree=31963748/32770624 swapFree=5828/111092
[pid=4800] ppid=4797 vsize=158392 CPUtime=12.7 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 44294 0 0 0 1265 5 0 0 20 0 1 0 1326012 162193408 33791 33554432000 4194304 4832315 140723176426416 140723176423592 4340784 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 39598 33791 584 156 0 33240 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 158392
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.11 3/182 4801
/proc/meminfo: memFree=31963880/32770624 swapFree=5828/111096
[pid=4800] ppid=4797 vsize=158392 CPUtime=25.49 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 49386 0 0 0 2544 5 0 0 20 0 1 0 1326012 162193408 33791 33554432000 4194304 4832315 140723176426416 140723176423592 4340805 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 39598 33791 584 156 0 33240 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 158392
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.11 3/182 4801
/proc/meminfo: memFree=31849240/32770624 swapFree=5828/111120
[pid=4800] ppid=4797 vsize=286004 CPUtime=51.09 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 75628 0 0 0 5100 9 0 0 20 0 1 0 1326012 292868096 62910 33554432000 4194304 4832315 140723176426416 140723176423304 139933208976357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 71501 62910 601 156 0 65143 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 286004
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/182 4802
/proc/meminfo: memFree=31837036/32770624 swapFree=5828/111148
[pid=4800] ppid=4797 vsize=295904 CPUtime=102.29 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 93426 0 0 0 10219 10 0 0 20 0 1 0 1326012 303005696 65431 33554432000 4194304 4832315 140723176426416 140723176424136 4340810 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 65431 601 156 0 67618 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 295904
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/182 4810
/proc/meminfo: memFree=31831672/32770624 swapFree=5828/111176
[pid=4800] ppid=4797 vsize=295904 CPUtime=162.29 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 93790 0 0 0 16219 10 0 0 20 0 1 0 1326012 303005696 66510 33554432000 4194304 4832315 140723176426416 140723176424136 4265334 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66510 601 156 0 67618 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 295904
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.09 3/182 4811
/proc/meminfo: memFree=31831740/32770624 swapFree=5828/111196
[pid=4800] ppid=4797 vsize=295904 CPUtime=222.3 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 93836 0 0 0 22220 10 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4278721 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 295904
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.09 3/182 4812
/proc/meminfo: memFree=31832404/32770624 swapFree=5828/111220
[pid=4800] ppid=4797 vsize=295904 CPUtime=282.3 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 93846 0 0 0 28220 10 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4340810 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 295904
[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.09 3/182 4813
/proc/meminfo: memFree=31832044/32770624 swapFree=5828/111248
[pid=4800] ppid=4797 vsize=295904 CPUtime=342.3 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 94200 0 0 0 34220 10 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4340814 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 295904
[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.09 3/182 4814
/proc/meminfo: memFree=31832048/32770624 swapFree=5828/111268
[pid=4800] ppid=4797 vsize=295904 CPUtime=402.31 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 94287 0 0 0 40221 10 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4340753 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 295904
[startup+462.3 s]
/proc/loadavg: 2.08 2.06 2.09 3/182 4815
/proc/meminfo: memFree=31832196/32770624 swapFree=5828/111288
[pid=4800] ppid=4797 vsize=295904 CPUtime=462.31 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 94559 0 0 0 46221 10 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4339664 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 295904
[startup+522.3 s]
/proc/loadavg: 2.03 2.05 2.09 3/182 4816
/proc/meminfo: memFree=31832224/32770624 swapFree=5828/111308
[pid=4800] ppid=4797 vsize=295904 CPUtime=522.32 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 94920 0 0 0 52222 10 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 139933218423200 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 295904
[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.08 3/182 4817
/proc/meminfo: memFree=31832352/32770624 swapFree=5828/111332
[pid=4800] ppid=4797 vsize=295904 CPUtime=582.32 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 95273 0 0 0 58222 10 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4339694 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 295904
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4872
/proc/meminfo: memFree=31831892/32770624 swapFree=5828/111736
[pid=4800] ppid=4797 vsize=295904 CPUtime=1542.41 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 98780 0 0 0 154230 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4278721 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 1542.41
Current children cumulated vsize (KiB) 295904
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4873
/proc/meminfo: memFree=31831896/32770624 swapFree=5828/111756
[pid=4800] ppid=4797 vsize=295904 CPUtime=1602.41 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 99072 0 0 0 160230 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4278565 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 1602.41
Current children cumulated vsize (KiB) 295904
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4874
/proc/meminfo: memFree=31831776/32770624 swapFree=5828/111776
[pid=4800] ppid=4797 vsize=295904 CPUtime=1662.41 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 99138 0 0 0 166230 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4340805 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 1662.41
Current children cumulated vsize (KiB) 295904
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4875
/proc/meminfo: memFree=31832020/32770624 swapFree=5828/111796
[pid=4800] ppid=4797 vsize=295904 CPUtime=1722.42 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 99440 0 0 0 172231 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4339598 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 1722.42
Current children cumulated vsize (KiB) 295904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4876
/proc/meminfo: memFree=31831768/32770624 swapFree=5828/111816
[pid=4800] ppid=4797 vsize=295904 CPUtime=1782.42 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 99664 0 0 0 178231 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4280376 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 295904
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4877
/proc/meminfo: memFree=31831824/32770624 swapFree=5828/111844
[pid=4800] ppid=4797 vsize=295904 CPUtime=1842.43 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 99808 0 0 0 184232 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4278710 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 1842.43
Current children cumulated vsize (KiB) 295904
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4878
/proc/meminfo: memFree=31831704/32770624 swapFree=5828/111868
[pid=4800] ppid=4797 vsize=295904 CPUtime=1902.43 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 100038 0 0 0 190232 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4339000 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 1902.43
Current children cumulated vsize (KiB) 295904
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 4946
/proc/meminfo: memFree=31723032/32770624 swapFree=5828/111940
[pid=4800] ppid=4797 vsize=295904 CPUtime=1962.44 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 100174 0 0 0 196233 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4278572 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 1962.44
Current children cumulated vsize (KiB) 295904
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4947
/proc/meminfo: memFree=31723056/32770624 swapFree=5828/111964
[pid=4800] ppid=4797 vsize=295904 CPUtime=2022.44 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 100533 0 0 0 202233 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4264107 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 2022.44
Current children cumulated vsize (KiB) 295904
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4948
/proc/meminfo: memFree=31719644/32770624 swapFree=5828/111984
[pid=4800] ppid=4797 vsize=295904 CPUtime=2082.45 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 100540 0 0 0 208234 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4264147 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 2082.45
Current children cumulated vsize (KiB) 295904
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4949
/proc/meminfo: memFree=31720020/32770624 swapFree=5828/112012
[pid=4800] ppid=4797 vsize=295904 CPUtime=2142.45 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 100686 0 0 0 214234 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4279016 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 2142.45
Current children cumulated vsize (KiB) 295904
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4950
/proc/meminfo: memFree=31719908/32770624 swapFree=5828/112036
[pid=4800] ppid=4797 vsize=295904 CPUtime=2202.46 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 100906 0 0 0 220235 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4265334 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 2202.46
Current children cumulated vsize (KiB) 295904
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4951
/proc/meminfo: memFree=31720408/32770624 swapFree=5828/112060
[pid=4800] ppid=4797 vsize=295904 CPUtime=2262.46 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 101251 0 0 0 226235 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4264048 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 2262.46
Current children cumulated vsize (KiB) 295904
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 4952
/proc/meminfo: memFree=31719920/32770624 swapFree=5828/112080
[pid=4800] ppid=4797 vsize=295904 CPUtime=2322.47 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 101270 0 0 0 232236 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4264048 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 2322.47
Current children cumulated vsize (KiB) 295904
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4953
/proc/meminfo: memFree=31719800/32770624 swapFree=5828/112100
[pid=4800] ppid=4797 vsize=295904 CPUtime=2382.47 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 101499 0 0 0 238236 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4264107 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 2382.47
Current children cumulated vsize (KiB) 295904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 4954
/proc/meminfo: memFree=31720052/32770624 swapFree=5828/112128
[pid=4800] ppid=4797 vsize=295904 CPUtime=2400.07 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 101501 0 0 0 239996 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4340822 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 295904
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 4800 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 4954
/proc/meminfo: memFree=31720052/32770624 swapFree=5828/112128
[pid=4800] ppid=4797 vsize=295904 CPUtime=2400.07 cores=1,3,5,7
/proc/4800/stat : 4800 (miniBTD) R 4797 4800 3471 0 -1 4202496 101501 0 0 0 239996 11 0 0 20 0 1 0 1326012 303005696 66760 33554432000 4194304 4832315 140723176426416 140723176424136 4340822 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 6932504 6936608 34652160 140723176432882 140723176432962 140723176432962 140723176435661 0
/proc/4800/statm: 73976 66760 601 156 0 67618 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 295904
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2399.9
CPU time (s): 2400.08
CPU user time (s): 2399.97
CPU system time (s): 0.115009
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 295904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.115009
maximum resident set size= 267040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101501
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= 24
involuntary context switches= 619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85581 second user time and 9.71598 second system time
The end