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