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