(1,23) (2,22) (3,21) (4,28) (5,29) (7,16) (8,19) (10,30) (12,27) (13,25) (14,20) (15,17) 
nodes: 2910  conflicts: 49  modelTime: 656  solveTime: 3549  totalTime: 4212  modelSize: 41292  readTime: 7 size: 12