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