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