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