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