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