(2,28) (3,16) (4,24) (5,19) (6,22) (8,21) (9,25) (10,23) (11,20) (12,30) (13,27) (14,29) (15,18) 
nodes: 1275  conflicts: 50  modelTime: 1108  solveTime: 1929  totalTime: 3046  modelSize: 41292  readTime: 9 size: 13