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