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