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