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