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