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