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