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