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