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