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