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