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