(1,22) (2,29) (3,23) (4,26) (5,16) (6,18) (8,25) (9,19) (10,30) (11,17) (12,27) (13,20) (14,28) (15,21) 
nodes: 1715  conflicts: 33  modelTime: 660  solveTime: 2713  totalTime: 3379  modelSize: 41293  readTime: 6 size: 14