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