(2,23) (3,18) (5,28) (6,25) (7,21) (8,27) (9,20) (11,26) (13,29) (14,24) (15,30) 
nodes: 1239  conflicts: 78  modelTime: 658  solveTime: 1302  totalTime: 1967  modelSize: 41292  readTime: 7 size: 11