(1,17) (2,19) (3,29) (4,23) (5,28) (7,18) (9,22) (10,26) (11,16) (13,27) (14,30) (15,20) 
nodes: 2357  conflicts: 56  modelTime: 660  solveTime: 3512  totalTime: 4178  modelSize: 41293  readTime: 6 size: 12