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