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