(1,18) (2,27) (3,16) (4,23) (6,19) (7,29) (8,17) (9,20) (10,25) (11,26) (12,30) (13,22) (14,24) (15,21) 
nodes: 15361  conflicts: 13  modelTime: 1187  solveTime: 41149  totalTime: 42345  modelSize: 41292  readTime: 9 size: 14