(2,16) (3,26) (4,18) (5,25) (7,20) (8,21) (9,30) (10,19) (11,28) (12,29) (13,17) (15,27) 
nodes: 1025  conflicts: 48  modelTime: 659  solveTime: 1081  totalTime: 1747  modelSize: 41292  readTime: 7 size: 12