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