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