(1,15) (2,17) (3,14) (4,30) (5,11) (6,27) (7,18) (8,21) (9,22) (10,29) (12,28) (13,25) (16,23) (19,24) (20,26) 
nodes: 20750  conflicts: 33  modelTime: 967  solveTime: 64958  totalTime: 65936  modelSize: 72268  readTime: 11 size: 15