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