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