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