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