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