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