(2,26) (3,23) (4,17) (5,20) (7,30) (8,21) (9,25) (10,27) (11,18) (12,16) (13,22) (14,19) (15,29) 
nodes: 2174  conflicts: 34  modelTime: 660  solveTime: 3431  totalTime: 4097  modelSize: 41293  readTime: 6 size: 13