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