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