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