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