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