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