(1,11) (3,28) (4,17) (5,13) (6,15) (7,10) (9,25) (12,18) (19,27) (23,24) (29,30) 
nodes: 1088  conflicts: 96  modelTime: 1737  solveTime: 6887  totalTime: 8644  modelSize: 72266  readTime: 20 size: 11