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