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