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