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