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