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