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