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