(2,24) (3,27) (4,23) (5,16) (6,18) (7,25) (8,28) (10,22) (11,21) (12,30) (14,17) (15,29) 
nodes: 1209  conflicts: 48  modelTime: 660  solveTime: 1012  totalTime: 1679  modelSize: 41293  readTime: 6 size: 12