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