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