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