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