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