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