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