(1,24) (2,15) (3,13) (4,14) (5,9) (6,8) (7,17) (10,12) (11,25) (16,30) (18,23) (19,27) (20,21) (22,29) (26,28) 
nodes: 134069  conflicts: 57  modelTime: 1666  solveTime: 456420  totalTime: 458097  modelSize: 72263  readTime: 11 size: 15