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