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