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