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