(1,22) (2,24) (3,25) (4,28) (5,17) (6,30) (7,20) (8,18) (9,19) (10,26) (11,16) (12,23) (14,27) (15,29) 
nodes: 2528  conflicts: 13  modelTime: 661  solveTime: 8497  totalTime: 9165  modelSize: 41292  readTime: 6 size: 14