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