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