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