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