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