(1,21) (2,15) (3,27) (4,5) (6,24) (7,10) (8,28) (9,18) (11,16) (12,20) (13,23) (14,26) (17,30) (19,25) (22,29) 
nodes: 472222  conflicts: 31  modelTime: 1627  solveTime: 2202069  totalTime: 2203816  modelSize: 72268  readTime: 120 size: 15