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