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