(1,17) (2,19) (3,18) (4,16) (5,29) (6,30) (7,21) (8,20) (9,23) (10,28) (11,24) (12,25) (13,27) (14,22) (15,26) 
nodes: 954  conflicts: 1  modelTime: 708  solveTime: 903  totalTime: 1617  modelSize: 41292  readTime: 6 size: 15