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