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