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