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