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