(1,17) (2,20) (3,30) (4,29) (5,18) (6,24) (7,16) (9,19) (10,28) (11,22) (12,21) (13,26) (14,25) (15,23) 
nodes: 6815  conflicts: 34  modelTime: 656  solveTime: 11895  totalTime: 12557  modelSize: 41292  readTime: 6 size: 14