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