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