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