(1,25) (2,21) (3,16) (4,30) (5,18) (7,20) (8,29) (9,23) (10,24) (11,17) (12,19) (13,26) (14,28) (15,27) 
nodes: 2198  conflicts: 27  modelTime: 1199  solveTime: 4680  totalTime: 5889  modelSize: 41293  readTime: 9 size: 14