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