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