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