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