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