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