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