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