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