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