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