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