(1,25) (5,16) (6,17) (7,26) (8,18) (9,20) (10,22) (11,21) (13,30) (15,27) 
nodes: 450  conflicts: 69  modelTime: 659  solveTime: 737  totalTime: 1402  modelSize: 41292  readTime: 6 size: 10