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