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