(1,28) (2,21) (3,25) (4,22) (5,20) (6,26) (7,30) (8,18) (9,29) (10,17) (11,24) (12,27) (13,23) (14,19) (15,16) 
nodes: 19040  conflicts: 13  modelTime: 665  solveTime: 56118  totalTime: 56789  modelSize: 41293  readTime: 5 size: 15