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