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