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