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