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