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