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