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