(1,24) (2,18) (3,21) (4,29) (6,20) (7,17) (9,25) (10,26) (11,16) (12,28) (14,27) (15,30) 
nodes: 511  conflicts: 40  modelTime: 665  solveTime: 616  totalTime: 1287  modelSize: 41293  readTime: 6 size: 12