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