(1,17) (2,23) (3,20) (4,26) (5,30) (6,28) (7,24) (8,18) (9,29) (11,19) (12,21) (13,16) (14,22) (15,27) 
nodes: 2924  conflicts: 22  modelTime: 1191  solveTime: 7570  totalTime: 8771  modelSize: 41293  readTime: 10 size: 14