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