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