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