(1,19) (2,22) (3,16) (4,18) (5,30) (7,25) (8,24) (9,17) (10,28) (11,20) (12,21) (13,26) (14,27) (15,29) 
nodes: 6920  conflicts: 35  modelTime: 659  solveTime: 11542  totalTime: 12208  modelSize: 41293  readTime: 7 size: 14