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