(1,24) (3,16) (4,22) (5,17) (7,18) (8,28) (9,25) (10,20) (11,26) (12,29) (13,27) (15,19) 
nodes: 1260  conflicts: 53  modelTime: 660  solveTime: 1933  totalTime: 2600  modelSize: 41293  readTime: 7 size: 12