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