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