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