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