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