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