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