(1,17) (2,26) (3,28) (4,25) (5,24) (6,21) (9,22) (10,30) (11,29) (12,16) (13,23) (14,18) (15,20) 
nodes: 6201  conflicts: 55  modelTime: 661  solveTime: 10544  totalTime: 11212  modelSize: 41293  readTime: 7 size: 13