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