(1,20) (2,12) (3,30) (4,21) (6,16) (7,13) (8,9) (10,22) (11,26) (14,27) (17,25) (18,19) (23,24) (28,29) 
nodes: 136244  conflicts: 33  modelTime: 995  solveTime: 641814  totalTime: 642820  modelSize: 72285  readTime: 11 size: 14