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