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