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