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