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