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