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