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