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