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