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