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