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