(1,26) (3,19) (4,29) (5,22) (6,28) (7,17) (8,20) (10,25) (11,30) (12,24) (14,27) (15,16) 
nodes: 1150  conflicts: 50  modelTime: 657  solveTime: 2007  totalTime: 2671  modelSize: 41292  readTime: 7 size: 12