(1,17) (2,19) (3,11) (4,21) (5,27) (7,25) (8,9) (10,24) (12,29) (13,22) (14,26) (15,30) (16,23) (18,28) 
nodes: 24631  conflicts: 40  modelTime: 979  solveTime: 84445  totalTime: 85435  modelSize: 72272  readTime: 11 size: 14