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