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