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