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