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