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