(1,24) (2,3) (4,13) (5,8) (6,20) (7,25) (9,12) (10,14) (11,27) (15,29) (18,21) (19,22) (23,30) (26,28) 
nodes: 15019  conflicts: 60  modelTime: 1718  solveTime: 55878  totalTime: 57616  modelSize: 72263  readTime: 20 size: 14