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