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