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