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