(1,25) (2,19) (3,18) (4,23) (5,27) (6,16) (7,29) (8,28) (9,21) (10,17) (11,30) (12,26) (13,20) (14,22) (15,24) 
nodes: 1492  conflicts: 33  modelTime: 671  solveTime: 1745  totalTime: 2422  modelSize: 41298  readTime: 6 size: 15