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