(2,21) (5,18) (6,23) (8,25) (9,19) (10,26) (11,27) (12,29) (13,30) (14,24) (15,20) 
nodes: 1066  conflicts: 61  modelTime: 658  solveTime: 816  totalTime: 1481  modelSize: 41292  readTime: 6 size: 11