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