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