(1,27) (2,17) (3,29) (4,12) (5,8) (6,21) (7,22) (9,11) (10,16) (13,15) (14,18) (19,30) (20,28) (23,24) (25,26) 
nodes: 60870  conflicts: 32  modelTime: 1718  solveTime: 193580  totalTime: 195317  modelSize: 72265  readTime: 19 size: 15