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