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