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