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