(1,26) (2,30) (3,17) (4,23) (5,18) (6,20) (7,29) (10,21) (11,16) (12,19) (13,27) (14,25) (15,22) 
nodes: 2130  conflicts: 59  modelTime: 1200  solveTime: 3710  totalTime: 4920  modelSize: 41292  readTime: 10 size: 13