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