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