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