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