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