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