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