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