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