(1,25) (3,18) (4,17) (7,30) (8,20) (9,26) (10,21) (12,28) (13,19) (14,22) (15,27) 
nodes: 1052  conflicts: 59  modelTime: 657  solveTime: 1082  totalTime: 1745  modelSize: 41292  readTime: 6 size: 11