(1,26) (4,25) (5,28) (6,20) (7,27) (9,19) (12,16) (14,17) (15,18) 
nodes: 2488  conflicts: 94  modelTime: 799  solveTime: 3366  totalTime: 4172  modelSize: 41292  readTime: 7 size: 9