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