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