(1,10) (3,4) (5,18) (6,9) (7,21) (8,29) (11,27) (12,24) (13,16) (14,30) (15,26) (17,25) (19,28) (20,22) 
nodes: 24480  conflicts: 57  modelTime: 1722  solveTime: 115828  totalTime: 117589  modelSize: 72265  readTime: 39 size: 14