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