(1,29) (2,27) (3,13) (4,7) (5,25) (6,15) (8,19) (9,26) (10,14) (11,21) (12,18) (16,24) (17,28) (20,30) (22,23) 
nodes: 29283  conflicts: 34  modelTime: 963  solveTime: 97396  totalTime: 98370  modelSize: 72263  readTime: 11 size: 15