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