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