(2,18) (3,27) (4,22) (5,29) (6,30) (7,16) (8,24) (9,19) (10,17) (11,25) (12,20) (13,21) (15,23) 
nodes: 1718  conflicts: 39  modelTime: 655  solveTime: 2346  totalTime: 3008  modelSize: 41292  readTime: 6 size: 13