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