(1,29) (2,30) (3,22) (4,26) (5,23) (7,18) (8,21) (9,27) (10,25) (12,17) (13,19) (14,20) (15,16) 
nodes: 1202  conflicts: 63  modelTime: 661  solveTime: 1093  totalTime: 1761  modelSize: 41293  readTime: 7 size: 13