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