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