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