(1,16) (2,27) (3,22) (4,17) (5,24) (7,19) (9,21) (10,25) (11,29) (12,23) (14,18) (15,30) 
nodes: 4131  conflicts: 46  modelTime: 662  solveTime: 6001  totalTime: 6669  modelSize: 41292  readTime: 6 size: 12