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