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