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