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