(1,16) (2,18) (3,17) (4,28) (5,24) (6,29) (7,19) (8,23) (9,21) (10,20) (11,25) (13,26) (14,27) (15,22) 
nodes: 2622  conflicts: 29  modelTime: 660  solveTime: 3876  totalTime: 4542  modelSize: 41298  readTime: 6 size: 14