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