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