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