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