(1,29) (2,16) (3,27) (4,25) (5,30) (6,18) (8,24) (9,23) (10,19) (11,20) (12,21) (13,17) (14,22) (15,28) 
nodes: 9391  conflicts: 15  modelTime: 658  solveTime: 19809  totalTime: 20485  modelSize: 41292  readTime: 18 size: 14