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