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