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