Command terminated by signal 2
12.65user 245.19system 5:00.03elapsed 85%CPU (0avgtext+0avgdata 1712maxresident)k
32inputs+27251112outputs (3721706major+193959minor)pagefaults 0swaps