(1,6) (2,28) (3,7) (4,19) (5,11) (8,15) (9,12) (10,26) (13,16) (14,18) (17,21) (20,22) (23,27) (24,25) (29,30) 
nodes: 9356  conflicts: 10  modelTime: 1690  solveTime: 56094  totalTime: 58041  modelSize: 72285  readTime: 256 size: 15