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