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