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