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