(1,19) (3,21) (4,26) (5,24) (6,20) (8,27) (9,18) (10,29) (11,16) (12,22) (13,25) (14,17) (15,28) 
nodes: 933  conflicts: 32  modelTime: 660  solveTime: 1011  totalTime: 1678  modelSize: 41293  readTime: 7 size: 13