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