(2,16) (4,21) (5,23) (6,29) (7,30) (8,22) (9,25) (10,17) (11,19) (12,27) (14,24) (15,20) 
nodes: 1971  conflicts: 62  modelTime: 658  solveTime: 1542  totalTime: 2225  modelSize: 41292  readTime: 25 size: 12