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