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