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