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