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