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