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