(1,20) (2,7) (4,15) (5,17) (6,13) (8,21) (9,19) (10,12) (11,29) (14,18) (23,27) (24,25) 
nodes: 1446  conflicts: 99  modelTime: 936  solveTime: 4970  totalTime: 5918  modelSize: 72262  readTime: 12 size: 12