(1,6) (2,23) (3,24) (4,28) (5,18) (7,26) (8,12) (9,21) (10,11) (13,27) (14,22) (15,20) (16,17) (19,30) (25,29) 
nodes: 160217  conflicts: 39  modelTime: 964  solveTime: 562180  totalTime: 563155  modelSize: 72262  readTime: 11 size: 15