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