(2,21) (4,20) (5,29) (6,27) (7,18) (8,24) (9,30) (10,19) (11,25) (12,17) (13,16) (14,22) (15,23) 
nodes: 2456  conflicts: 55  modelTime: 659  solveTime: 3044  totalTime: 3710  modelSize: 41293  readTime: 7 size: 13