(1,16) (2,17) (3,27) (4,23) (5,25) (7,30) (8,21) (9,22) (10,24) (13,20) (14,29) (15,19) 
nodes: 1389  conflicts: 59  modelTime: 658  solveTime: 1477  totalTime: 2142  modelSize: 41292  readTime: 7 size: 12