(1,16) (2,25) (5,24) (6,19) (7,29) (8,23) (10,26) (11,28) (12,18) (13,22) (15,30) 
nodes: 851  conflicts: 57  modelTime: 667  solveTime: 1069  totalTime: 1743  modelSize: 41292  readTime: 7 size: 11