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