(1,17) (2,22) (3,28) (4,21) (5,18) (6,29) (7,20) (8,25) (9,30) (10,23) (11,24) (12,26) (13,16) (14,19) (15,27) 
nodes: 10229  conflicts: 18  modelTime: 1188  solveTime: 30270  totalTime: 31468  modelSize: 41293  readTime: 10 size: 15