(1,10) (2,6) (3,19) (4,21) (5,14) (7,30) (8,26) (9,23) (11,27) (12,24) (13,17) (15,20) (16,29) (18,22) (25,28) 
nodes: 6712  conflicts: 36  modelTime: 965  solveTime: 28895  totalTime: 29872  modelSize: 72266  readTime: 12 size: 15