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