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