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