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