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