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