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