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