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