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