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