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