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