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