(1,14) (2,15) (3,30) (4,17) (5,27) (6,18) (7,23) (8,10) (9,24) (11,28) (12,26) (13,20) (16,25) (19,29) (21,22) 
nodes: 48725  conflicts: 32  modelTime: 942  solveTime: 121145  totalTime: 122097  modelSize: 72263  readTime: 10 size: 15