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