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