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