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