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