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