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