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