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