(1,3) (2,30) (4,20) (5,21) (6,25) (7,15) (8,14) (9,16) (10,27) (11,23) (12,17) (13,29) (18,19) (22,24) (26,28) 
nodes: 91997  conflicts: 55  modelTime: 936  solveTime: 210666  totalTime: 211613  modelSize: 72266  readTime: 11 size: 15