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