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